这个错误好像容易出现在Ubuntu 20.04,解决方法很简单:
apt install libgmp-dev
Welcome! Login in to your account
Don't have account. Register
Back to Login