如何在12.04中安装最新的gmp库？

Question

我知道它应该是“sudo apt-get install”的形式。但是库的名称应该是什么？安装后，如何验证它是否已正确安装。

Answer 1

您可以使用以下命令安装 gmp。

sudo apt-get install libgmp3-dev

另外，请查看这个帖子。

Answer 2

这是在谷歌搜索“ubuntu install gmp”时得到的第一个结果。这就是我回答这样一个老问题的原因。

对我来说，以下方法有效：

apt-get install -y libgmp-dev