我正在尝试使用以下链接进行构建Mozart/Oz
:Mac os x Mojave
https:
//github.com/mozart/mozart
并收到以下配置错误。未找到 GNU MP 库。
我gmp
使用安装homebrew
并尝试了 --with-gmp=/usr/local/opt/gmp/lib 和 --with-gmp=/usr/local/Cellar/gmp/6.1.2_2/ 但得到了同样的错误。谁能帮我解决这个问题?
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