无法编译和运行minisat+ sat解决程序

Question

我使用大学department.Note中的一台department.Note机器，它没有权限使用我使用的系统作为根。

我提取了zip.According来安装我运行的文件

制造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下载了github。

我用

制作

和

制造安装

但我还是有错误的。有人告诉我我需要安装gmp和gmp?对吗？

一些可能有用的东西:我不确定我是否有密码作为根用户，因为我在我的大学实验室工作。

有谁能正确运行minisat+吗？

Answer 1

看来小型车要靠GNU MP Bignum库(gmp)了。您的系统上安装了libgmp吗？

Update:在没有根访问权限的系统上安装库

由于您在一台没有根访问的大学机器上，您有以下几种选择：

1. 请大学教职员工帮你在机器上安装libgmp。这可能是最简单的方法，取决于系统管理员的随和程度。
2. 在Superuser是一个讨论如何安装普通用户包的线程。上。之后，您仍然必须将库搜索路径(使用-L开关)添加到minisat包的Makefile中的CFLAGS中。
3. 您可以像这样手动构建libgmp :完成之后，还必须修改minisat-Makefile，就像选项2一样。 $ cd $ mkdir /gmp$ wget ftp://ftp.gnu.org/gnu/gmp/gmp-5.1.2.tar.bz2 $ tar -xjvf gmp-5.1.2.tar.bz2 $home 5.1.2$./配置-前缀=~/ opt/gmp /&$ make & //这将安装libgmp到/home/your-xjvf/opt/gmp/$ make