0

我使用我大学系的一台 Cent0S 机器。请注意，我没有权限使用我以 root 身份使用的系统。我下载了minisat+zip 文件

我提取了zip。根据我运行的安装文件

制作 rx

但我有以下结果：

Makefile:96: depend.mak: No such file or directory
Making dependencies...
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
In file included from ./Main.h:23,
                 from <command-line>:0:
ADTs/Int.h:101:17: error: gmp.h: No such file or directory
make: *** [depend.mak] Error 1

我还从github下载了 minisat+ 。

我使用它运行它

制作

和

进行安装

但我仍然有错误。有人告诉我，我需要安装 gmp 和 gmp-devel？是吗？

可能有帮助的东西：我不确定我是否有 root 用户密码，因为我在大学的实验室工作。

有人如何正确运行 minisat+ 吗？

4

1 回答 1

0

看起来 minisat 依赖于GNU MP Bignum library (gmp)。你的系统上安装了 libgmp 吗？

更新：在您没有 root 访问权限的系统上安装库

由于您在没有 root 访问权限的大学计算机上，因此您有几个选择：

  1. 请大学工作人员的一些 IT 人员为您在机器上安装 libgmp。这可能是最简单的方法，具体取决于系统管理员的顺从程度。

  2. Over on Superuser 是一个讨论如何以普通用户安装软件包的线程。之后，您仍然需要将库搜索路径（使用-L开关）添加到CFLAGSminisat 包的 Makefile 中。

  3. 您可以像这样手动构建 libgmp：完成后，您还必须像使用选项 #2 一样修改 minisat-Makefile。

    $ cd 
$ mkdir opt/gmp

$ wget ftp://ftp.gnu.org/gnu/gmp/gmp-5.1.2.tar.bz2
$ tar -xjvf gmp-5.1.2.tar.bz2

$ cd gmp-5.1.2

$ ./configure --prefix=~/opt/gmp/ &&
$ make &&
// this will install libgmp into /home/your-login/opt/gmp/
$ make install
于 2013-06-15T12:07:11.583 回答