Commit 7f3cd83a authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

update various versions + use local copies of tarball when available

parent 24583043
Pipeline #2785 passed with stage
in 19 minutes and 43 seconds
......@@ -12,7 +12,7 @@ RUN echo 'deb http://debian.mirrors.ovh.net/debian sid main' > /etc/apt/sources.
build-essential git graphviz fonts-lato \
wget sudo unzip imagemagick ghostscript libbdd0c2 libspot-dev libbddx-dev \
libbdd-dev man-db less bison \
openjdk-8-jre-headless && \
openjdk-10-jre-headless && \
set -x && \
pip3 install jupyter && \
pip3 install ipywidgets && \
......
......@@ -30,13 +30,13 @@ release.
For convenience the following third-party tools have also been
installed (see /usr/local/share/doc/ for license details):
- ltl2ba 1.2b1 (GPL 2)
- ltl2ba 1.2 (GPL 2)
- ltl3ba 1.1.3 (GPL 2)
- ltl3dra 0.2.5 (GPL 2)
- ltl3tela 1.1.1 (GPL 3)
- ltl3dra 0.2.6 (GPL 2)
- ltl3tela 1.1.2 (GPL 3)
- ltl2dstar 0.5.4 (GPL 2)
- Seminator 1.2.0 (GPL 3)
- owl 1.1.0 (GPL 3)
- Rabinizer 4 (GPL 3)
- jhoafparser 1.1.1 (LGPL 2.1)
- spin @SPINVERSION@ (BSD 3-clause)
- divine 2.4 patched with LTSmin support (BSD 2-clause + GPL 2)
......
......@@ -10,8 +10,8 @@ sed -i "s/DATE/$DATE/g;s/VERSION/$VERSION/g" \
chown user:user /home/user/.jupyter
# LTL2BA
V=1.2b1
wget http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ltl2ba-$V.tar.gz
V=1.2
wget https://www.lrde.epita.fr/dload/spot/deps/ltl2ba-1.2.tar.gz
tar xvf ltl2ba-$V.tar.gz
cd ltl2ba-$V
make -j4
......@@ -23,7 +23,7 @@ rm -rf ltl2ba-$V ltl2ba-$V.tar.gz
# LTL3BA
V=1.1.3
wget http://sourceforge.net/projects/ltl3ba/files/ltl3ba/1.1/ltl3ba-$V.tar.gz
wget https://www.lrde.epita.fr/dload/spot/deps/ltl3ba-1.1.3.tar.gz
tar xvf ltl3ba-$V.tar.gz
cd ltl3ba-$V
make -j4
......@@ -34,8 +34,8 @@ cd ..
rm -rf ltl3ba-$V ltl3ba-$V.tar.gz
# LTL3DRA
V=0.2.5
wget http://sourceforge.net/projects/ltl3dra/files/ltl3dra-$V.tar.gz
V=0.2.6
wget https://github.com/xblahoud/ltl3dra/archive/v$V.tar.gz -O ltl3dra-$V.tar.gz
tar xvf ltl3dra-$V.tar.gz
cd ltl3dra-$V
make -j4
......@@ -46,7 +46,7 @@ cd ..
rm -rf ltl3dra-$V ltl3dra-$V.tar.gz
# LTL3TELA
V=1.1.1
V=1.1.2
wget https://github.com/jurajmajor/ltl3tela/archive/v$V.tar.gz
tar xvf v$V.tar.gz
cd ltl3tela-$V
......@@ -71,7 +71,7 @@ rm -rf seminator-$V v$V.zip
# ltl2dstar
V=0.5.4
wget http://www.ltl2dstar.de/down/ltl2dstar-$V.tar.gz
wget https://www.lrde.epita.fr/dload/spot/deps/ltl2dstar-$V.tar.gz
tar xvf ltl2dstar-$V.tar.gz
cd ltl2dstar-$V/src
make -j4
......@@ -106,12 +106,12 @@ ln -s /usr/share/doc/spins /usr/local/share/doc/
SPINVERSION=`spin -V | sed -n 's/.* \([0-9.]\+\) --.*/\1/p'`
sed -i "s/@SPINVERSION@/$SPINVERSION/" /home/user/README
# Owl
V=1.1.0
wget https://www7.in.tum.de/~sickert/distributions/owl-$V.zip
# Rabinizer 4
wget https://www7.in.tum.de/~kretinsk/rabinizer4.zip
mkdir -p /usr/local/share/
unzip owl-$V.zip -d /usr/local/share/
rm -f owl-$V.zip
for i in fgx2dga ltl2da ltl2dpa ltl2ldba nba2ldba; do
ln -s /usr/local/share/owl-$V/bin/$i /usr/local/bin/
unzip rabinizer4.zip -d /usr/local/share/
rm -f rabinizer4.zip
for i in delag dra2dpa fltl2dgmra ltl2da ltl2dgra \
ltl2dpa ltl2dra nba2dpa nba2ldba owl owk-server synth; do
ln -s /usr/local/share/rabinizer4/bin/$i /usr/local/bin/
done
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