RHEL 7上的SWI-Prolog安装

Question

我正在尝试在运行HEL7的服务器上安装SWI-Prolog。

我已经按照说明在这里构建了SWI-Prolog：http://www.swi-prolog.org/build/Redhat.html。构建在没有错误的情况下完成；但是，我没有看到应用程序的踪迹。

此外，应用程序似乎无法访问，因为我无法调用swipl来开始执行Prolog命令。

Answer 1

我在Fedora 24上，所以可能接近你的RHEL 7的情况。我从不构建RPM，我只是从源代码构建：

git clone https://github.com/SWI-Prolog/swipl-devel
cd swipl-devel
cp build.tmpl build
<EDITOR> build <TO CUSTOMIZE>
./build

在自定义步骤中，您可以在系统上设置特定的目录。这样你就可以100%确定它会在哪里结束。

Answer 2

我在我的CentOS 7.6.1810上关注了SWIPL build instructions。在按照说明使用cmake进行配置时，我遇到了两个问题

cmake ..

首先，我必须安装cmake3

yum安装cmake3

并且不得不这样调用它：

cmake3 ..

其次，cmake在设置X11_Xpm_LIB时遇到了问题。因此，我在CMakeCache.txt中手动设置了行

X11_Xpm_LIB:FILEPATH=/usr/lib64/libXpm.so.4

在此之后，配置过程成功完成。但是我的构建失败了:(