ubuntu18.04 Could NOT find GMP (missing: GMP_LIBRARIES GMP_INCLUDE_DIR)
Could NOT find GMP1. 解决方法2. 参考链接1. 解决方法apt-get install libgmp10 libgmp-devapt-get install libmpfr-dev2. 参考链接https://stackoverflow.com/questions/59139875/val3dity-installation-problem-on-ubuntu-18-04-could-not-find-gmp-missing-gmp...
复制链接