z3 - Z3 的 Linux 版本：对旧 libgmp.so.3 的依赖

Question

Z3对libgmp.so.3的依赖在linux包中没有解决，留给用户提供这个库。但是，这个库很旧，不容易获得。

有谁知道解决这个问题的方法？我目前正在运行 x86_64，并且没有很多麻烦就无法解决这个缺失的依赖项。

是否可以修复 linux 软件包，使其在发行版中包含预期的库？

Answer 1

您可以通过执行sudo apt install libgmp3-dev. 我不是 Linux 专家，但这是我在编译 Z3 之前用来安装 GMP 的命令。当我安装运行 Linux 64 的虚拟机时，我想我没有找到更新版本 GMP 的包。我会再试一次。如果它不起作用，我将下载最新的 GMP tar 球并从头开始构建它。

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