Commit beb0db6f authored by Thierry Martinez's avatar Thierry Martinez

install-ubuntu updates swipl

parent 3e552819
#!/bin/sh
set -e
apt-get install swi-prolog libgsl0-dev gnuplot graphviz-dev
# Compiling libSBML from source, expecting that libSBML should
#be packaged in the next releases
sudo apt-get install libxml2-dev
wget http://downloads.sourceforge.net/project/sbml/libsbml/5.12.0/stable/libSBML-5.12.0-core-src.tar.gz
tar -xf libSBML-5.12.0-core-src.tar.gz
cd libsbml-5.12.0
./configure
make
sudo make install
sudo apt-get install libgsl0-dev gnuplot graphviz-dev # swi-prolog libsbml5-dev
if ! swipl -g '
call_cleanup(
(
current_prolog_flag(version, Version),
Version >= 70203,
halt(0)
),
halt(1)
)'
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 install libreadline-dev libgmp-dev
if [[ ! -d swipl-7.2.3 ]]; then
if [[ ! -f swipl-7.2.3.tar.gz ]]; then
wget http://www.swi-prolog.org/download/stable/src/swipl-7.2.3.tar.gz
fi
tar -xf swipl-7.2.3.tar.gz
fi
pushd .
cd swipl-7.2.3
./configure
make
sudo make install
popd
fi
if ! pkg-config --atleast-version 5.11.4 libsbml
then
# Compiling libSBML from source, expecting that libSBML should
# be packaged in the next releases of Ubuntu
sudo apt-get install libxml2-dev
if [[ ! -d libsbml-5.12.0 ]]; then
if [[ ! -f libSBML-5.12.0-core-src.tar.gz ]]; then
wget http://downloads.sourceforge.net/project/sbml/libsbml/5.12.0/stable/libSBML-5.12.0-core-src.tar.gz
fi
tar -xf libSBML-5.12.0-core-src.tar.gz
fi
pushd .
cd libsbml-5.12.0
./configure
make
sudo make install
popd
fi
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