在 RHEL 7 上安装 SWI-Prolog答案

【问题标题】：SWI-Prolog Installation on RHEL 7在 RHEL 7 上安装 SWI-Prolog
【发布时间】：2016-09-25 00:30:27
【问题描述】：

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

我已按照说明在此处构建 SWI-Prolog：http://www.swi-prolog.org/build/Redhat.html。构建完成没有错误；但是，我看不到应用程序的任何痕迹。

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

【问题讨论】：

【解决方案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% 确定它会在哪里结束。

【讨论】：

【解决方案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

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

【讨论】：