Commit 5e40a004 authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain

Ubuntu 20.04 and require SWI 8.2.3 at least

parent 991d6d79
......@@ -43,7 +43,7 @@ then
release=$(lsb_release -sc)
if [[ $release == "xenial" || $release == "bionic" ]]
if [[ $release == "xenial" || $release == "bionic" || $release == "focal" ]]
then
sudo apt-get -qy install software-properties-common
sudo apt-add-repository -y ppa:swi-prolog/stable
......@@ -58,7 +58,7 @@ then
call_cleanup(
(
current_prolog_flag(version, Version),
Version >= 80003,
Version >= 80203,
halt(0)
),
halt(1)
......@@ -67,12 +67,12 @@ then
# Compiling swi-prolog from source, expecting that a newer version of
# swi-prolog should be packaged in the next releases of Ubuntu
sudo apt-get -qy install libreadline-dev libgmp-dev
if [[ ! -d swipl-8.0.3 ]]
if [[ ! -d swipl-8.2.4 ]]
then
curl -fsSLO http://www.swi-prolog.org/download/stable/src/swipl-8.0.3.tar.gz
tar -xf swipl-8.0.3.tar.gz
curl -fsSLO http://www.swi-prolog.org/download/stable/src/swipl-8.2.4.tar.gz
tar -xf swipl-8.2.4.tar.gz
fi
pushd swipl-8.0.3
pushd swipl-8.2.4
./configure
make
sudo make install
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment