【发布时间】：2011-10-18 17:45:19
【问题描述】：
Z3对libgmp.so.3的依赖在linux包中没有解决，留给用户提供这个库。但是，这个库已经很老了，不容易获得。
有人知道解决这个问题的方法吗？我目前正在运行 x86_64，无法轻松解决这个缺失的依赖项。
是否可以修复 linux 软件包，使其在发行版中包含预期的库？
【问题讨论】：
标签： z3
【发布时间】：2011-10-18 17:45:19
【问题描述】：
你可以通过执行sudo apt install libgmp3-dev获得GMP3。
我不是 Linux 专家，但这是我在编译 Z3 之前用来安装 GMP 的命令。
当我安装运行 Linux 64 的虚拟机时，我想我没有找到更新版本 GMP 的软件包。
我会再试一次。如果不行，我会下载最新的 GMP tar 包，从头开始构建。
顺便说一句，Linux 32 的 Z3 带有两个 .so 文件。其中之一具有静态链接的 GMP。 我用于构建此 .so 文件的技巧不适用于 64 位版本。 正如我所说，我不是 Linux 专家，欢迎任何关于如何为 Linux x86_64 用户构建更好的 Z3 库的建议。
【讨论】：
-
至少对于最新版本的 Ubuntu (11.10)，这个 libgmp3-dev 是一个指向最新 libgmp 的虚拟包。我将尝试下载 32 位版本的 Ubuntu 10.04 LTS 并重试。
-
Ubuntu 11.04 具有 glibc 和 libgmp 的正确组合（按您指定的方式安装）。