Linux版Z3：对旧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 tar球并从头开始构建。

BTW，Linux 32的Z3附带了两个.so文件。其中一个与GMP静态相关。 我用来构建这个.so文件的技巧不适用于64位版本。 正如我所说，我不是Linux专家，欢迎任何关于如何为Linux x86_64用户构建更好的Z3库的建议。