yum groupinstall -y "Development Tools" \
&& yum -y install epel-release \
&& yum clean all
yum -y install \
git \
ninja-build \
libunwind \
freetype-devel \
gmp-devel \
java-1.8.0-openjdk-devel \
jpackage-utils \
libICE-devel \
libjpeg-turbo-devel \
libSM-devel \
libX11-devel \
libXaw-devel \
libXext-devel \
libXft-devel \
libXinerama-devel \
libXmu-devel \
libXpm-devel \
libXrender-devel \
libXt-devel \
ncurses-devel \
openssl-devel \
pkgconfig \
readline-devel \
libedit-devel \
unixODBC-devel \
zlib-devel \
uuid-devel \
libarchive-devel \
libyaml-devel \
cmake3 \
&& ln -snf /usr/bin/cmake3 /usr/bin/cmake \
&& yum clean all
git clone --depth 1 https://github.com/SWI-Prolog/swipl.git \
&& cd swipl \
&& git submodule update --init \
&& mkdir build \
&& cd build
cmake3 -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr -G Ninja ..
ninja-build install
yum -y install https://logtalk.org/files/logtalk-3.28.0-1.noarch.rpm \
&& yum clean all
ln -nsf /usr/local/share/logtalk-3.28.0-stable/integration/swilgt.sh /usr/bin/logtalk
logtalk
docker build -t swiprolog-centos .