make check failing on macOS (Intel)

[Siddharth Sunderraju]

On my Intel Mac (quad-core Intel Core i5), make check fails 7 tests, all 
of which have an exit status of 139:

  * t-divrem
  * t-fat
  * t-div
  * t-mulmod_bnm1
  * t-sqrmod_bnm1
  * t-invert
  * t-bdiv

and skips one test, t-addaddmul, with an exit code of 77.

The commands I ran were:

cd gmp-6.3.0
./configure
micro config.status # Note: this was to set prefix to ~/usr/local
make && make check && make install

Is this a bug or have I run the wrong commands?

Thanks,
s6057291 at gmail.com