Z3的Linux版本：旧依赖关系libgmp.so.3

Question

Z3对libgmp.so.3的依赖性在linux软件包中未解决，使用户无法提供该库。但是，这个图书馆非常陈旧，并不容易获得。

有没有人知道解决这个问题的方法？我目前正在运行x86_64，无法绕过这个缺失的依赖关系而没有很多麻烦。

是否有可能Linux软件包可以被修复，因此他们在发行版中包含预期的库？

Answer 1

执行sudo apt install libgmp3-dev即可得到GMP3。 我不是Linux专家，但这是我编译Z3之前用于安装GMP的命令。 当我安装运行Linux 64的虚拟机时，我想我没有找到适用于更新版GMP的软件包。 我会再试一次。如果不起作用，我会下载最新的GMP焦油球并从头开始构建。

顺便说一句，Z3 for Linux 32带有两个.so文件。其中一个有GMP静态链接。 我用于构建这个.so文件的技巧对于64位版本不起作用。正如我所说的，我不是Linux专家，对于如何为Linux x86_64用户构建更好的Z3库有任何建议。