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
分类:
linux开发环境
【推荐】国内首个AI IDE，深度理解中文开发场景，立即下载体验Trae
【推荐】编程新体验，更懂你的AI，立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包，你的智能百科全书，全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell：AI 加持，快人一步
· 全程不用写代码，我用AI程序员写了一个飞机大战
· MongoDB 8.0这个新功能碉堡了，比商业数据库还牛
· 记一次.NET内存居高不下排查解决与启示
· 白话解读 Dapr 1.15：你的「微服务管家」又秀新绝活了
· DeepSeek 开源周回顾「GitHub 热点速览」