Segmentation faults of "make check" on OSX 10.8.4 (Mountain Lion)

[Bastien Chevreux]

Hi there,

I just compiled gmp with gcc 4.7.2 on OSX 10.8.4 and make check fails like this:

make  check-TESTS
/bin/sh: line 1: 81364 Segmentation fault: 11  ${dir}$tst
FAIL: t-bswap
PASS: t-constants
PASS: t-count_zeros
PASS: t-gmpmax
PASS: t-hightomask
PASS: t-modlinv
/bin/sh: line 1: 81475 Segmentation fault: 11  ${dir}$tst
FAIL: t-popc
PASS: t-parity
PASS: t-sub
====================================
2 of 9 tests failed

Best,
  Bastien