apt install libgmp3-dev

由于缺少组件 libgmp3。运行以上命令安装libgmp3后,即可正常安装GMP。