SWI-Prolog Installation on RHEL 7

1
votes

I am attempting to install SWI-Prolog on a server running rhel 7.

I have followed the instructions to build SWI-Prolog here: http://www.swi-prolog.org/build/Redhat.html. The build completes without error; however, I see no trace of the application.

In addition, the application does not seem accessible because I am unable to invoke swipl to begin executing Prolog commands.

2
prologredhatrhelswi-prolog
After following the instructions, you must install the package. Does the following work for you: sudo yum install RPMS/x86_64/pl-*.rpm? – mat

2 Answers

1
votes

I'm on Fedora 24, so probably close to your RHEL 7 situation. I never build the RPM, I simply build from sources:

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

In the customization step you can set a specific directory on your system. That way you're 100% sure where it ends up.

0
votes

I followed SWIPL build instructions on my CentOS 7.6.1810. I faced two issues when configuring using cmake as per instructions

cmake ..

First, I had to install cmake3

yum install cmake3

and had to invoke it thus:

cmake3 ..

Secondly, cmake had trouble setting X11_Xpm_LIB. So I manually set the line in CMakeCache.txt

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

After this the config process completed successfully. But my build is failing :(