RHEL 7上的SWI-Prolog安装

时间:2016-09-25 00:30:27

标签: prolog redhat rhel swi-prolog

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

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

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

2 个答案:

答案 0 :(得分: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%确定最终结果。

答案 1 :(得分:0)

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

  

cmake ..

首先,我必须安装cmake3

  

yum install cmake3

,因此必须调用它:

  

cmake3 ..

第二,cmake无法设置X11_Xpm_LIB。所以我手动在CMakeCache.txt中设置了行

  

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

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