SWI-Prolog

I’m working on installing Prolog on the linux machines for Eni’s class use. I was following the instructions from http://www.swi-prolog.org/build/Redhat.html . I skipped the dependencies part because it seemed like we already had most of those packages, maybe I’ll go back and do those.

When I got to step 2,

[root@thrush ~] rpm -ihv –nomd5 http://download.fedora.redhat.com/pub/fedora/linux/development/15/source/SRPMS/pl-5.10.2-3.fc15.src.rpm
Retrieving http://download.fedora.redhat.com/pub/fedora/linux/development/15/source/SRPMS/pl-5.10.2-3.fc15.src.rpm
curl: (6) Couldn’t resolve host ‘download.fedora.redhat.com’
error: skipping http://download.fedora.redhat.com/pub/fedora/linux/development/15/source/SRPMS/pl-5.10.2-3.fc15.src.rpm – transfer failed

I did all of the yum installs and I’m now investigating the source of the prolog rpm. I tried this one http://kojipkgs.fedoraproject.org//packages/pl/5.10.2/3.fc15/src/pl-5.10.2-3.fc15.src.rpm I found this from the original page > Package Page > download of the src file. I thought to use the src one because it ended with .src.rpm which is how the one that didn’t work ended.

This seemed to work. I successfully completed the steps, creating a ~/rpmbuild directory on root@thrush. Getting back together with Scott, he “yum localinstall pl*” from root@thrush to install the rpm that I had built. And it worked!

I moved the rpmbuild directory to /home/sysadmin (via a weird way..but I’ll ask Scott about that) and moved the .rpm files to /usr/network/apps. This let me do a all-centos-hosts yum -y localinstall /usr/network/apps/pl* from root@puma.

Since this was successful (output was “connecting to $host….installing dependencies…installing…complete!” repeated), now all of the CentOS computers have SWI-Prolog!