Question

我在我大学的部门使用其中一台Cent0S机器。注意我没有权限使用我用作root用户的系统。我下载了minisat+zip file

我解压缩了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 +。

我使用

运行它

制作

和

make install

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

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

有没有人如何正确运行minisat？

Answer 1

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

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

由于你在没有root访问权限的大学机器上，你有几个选择：

请一些大学工作人员的IT人员为您安装libgmp。这可能是最简单的方法，取决于系统管理员的抱怨程度。
结束Superuser is a thread discussing how to install packages a normal user。之后，您仍然需要将库搜索路径（使用-L开关）添加到minisat包的Makefile中的CFLAGS。

您可以像这样手动构建libgmp：完成后，您还必须修改minisat-Makefile，就像选项＃2一样

$ 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

无法编译并运行minisat + sat解算器

1 个答案:

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