Z3对libgmp.so.3的依赖在linux包中没有解决,留给用户提供这个库。但是,这个库很旧,不容易获得。
有谁知道解决这个问题的方法?我目前正在运行 x86_64,并且没有很多麻烦就无法解决这个缺失的依赖项。
是否可以修复 linux 软件包,使其在发行版中包含预期的库?
Z3对libgmp.so.3的依赖在linux包中没有解决,留给用户提供这个库。但是,这个库很旧,不容易获得。
有谁知道解决这个问题的方法?我目前正在运行 x86_64,并且没有很多麻烦就无法解决这个缺失的依赖项。
是否可以修复 linux 软件包,使其在发行版中包含预期的库?
您可以通过执行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 库的建议。