【发布时间】:2019-05-16 10:18:16
【问题描述】:
我正在尝试使用以下链接在Mac os x Mojave 上构建Mozart/Oz:
https://github.com/mozart/mozart
并收到以下配置错误。未找到 GNU MP 库。
我使用homebrew 安装了gmp,还尝试了--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
【问题讨论】: