I am trying to build Mozart/Oz
on Mac os x Mojave
using the following link:
https://github.com/mozart/mozart
and been getting the following configure error. GNU MP lib not found.
I installed gmp
using homebrew
and also tried --with-gmp=/usr/local/opt/gmp/lib and --with-gmp=/usr/local/Cellar/gmp/6.1.2_2/ but got the same error. Can anyone please help me resolve this?
checking for --with-gmp... yes
checking for gmp.h... -I/Users/rr/Software/mozart/gmp/packages/include
checking for __gmpz_init in -lgmp (default)... no
checking for __gmpz_init in -L/Users/rr/Software/mozart/gmp/packages/lib/ -lgmp... no
checking for mpz_init in -lgmp (default)... no
checking for mpz_init in -L/Users/rr/Software/mozart/gmp/packages/lib/ -lgmp... no
checking for mpz_init in -lgmp2 (default)... no
checking for mpz_init in -L/Users/rr/Software/mozart/gmp/packages/lib/ -lgmp2... no
configure: warning: required GNU MP lib not found
configure: error:
The GNU Multiple Precision Arithmetic Library (gmp)
version 2 or higher is required
to build the system. It can be retrieved from:
ftp://ftp.gnu.org/pub/gnu/gmp/
The latest version at this time is 4.1.2 and is available
packaged as the following archive:
ftp://ftp.gnu.org/pub/gnu/gmp/gmp-4.1.2.tar.gz
You may find a mirror archive closer to you by consulting:
http://www.gnu.org/order/ftp.html
configure: error: /Users/rr/Software/mozart/mozart/platform/emulator/configure failed for emulator
configure: error: /Users/rr/Software/mozart/mozart/platform/configure failed for platform