gmp
1. 解决方法
apt-get install libgmp10 libgmp-dev
apt-get install libmpfr-dev
2. 参考链接
https://stackoverflow.com/questions/59139875/val3dity-installation-problem-on-ubuntu-18-04-could-not-find-gmp-missing-gmp
————————————————
版权声明：本文为CSDN博主「大米粥哥哥」的原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接及本声明。
原文链接：https://blog.csdn.net/qq_38204686/article/details/123445279
apt-get install libgmp10 libgmp-dev
apt-get install libmpfr-dev
2. 参考链接
https://stackoverflow.com/questions/59139875/val3dity-installation-problem-on-ubuntu-18-04-could-not-find-gmp-missing-gmp
————————————————
版权声明：本文为CSDN博主「大米粥哥哥」的原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接及本声明。
原文链接：https://blog.csdn.net/qq_38204686/article/details/123445279
