在安装GMP、MPFR和MPC之后,我使用以下命令配置了GCC: --without-headers --with-libiconv-prefix=/opt/local --with-gmp/mpfr/mpc libraries... no
configure: error: Building GCC requires GMP 4.2+, MPFR 2.3.1+ and MPC 0.8.0Try the --
我正在尝试交叉编译CVC4,但是找不到GMP。我使用下面的安装指南:http://cvc4.cs.stanford.edu/wiki/Developer%27s_Guide 当我运行.at /usr/share/cmake-3.7/Modules/FindPackageHandleStandardArgs.cmake:138 (message):
Could NOT find GMP(missing: GMP_LIBRARIES)