Commit 1af49cb2 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

Owl 19.06

parent 7e4aaa74
Pipeline #10795 passed with stage
in 11 minutes and 51 seconds
......@@ -36,7 +36,7 @@ installed (see /usr/local/share/doc/ for license details):
- ltl3tela 1.1.2 (GPL 3)
- ltl2dstar 0.5.4 (GPL 2)
- Seminator 1.2.0 (GPL 3)
- Owl 18.06 (GPL 3)
- Owl 19.06 (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)
......@@ -66,7 +66,7 @@ follows:
git clone https://gitlab.lrde.epita.fr/spot/sandbox
cd sandbox
sudo docker build --no-cache -t lrde/sandbox .
sudo docker build --no-cache -t lrde/spot-sandbox .
Then execute it as:
......@@ -78,7 +78,7 @@ To upgrade your container to the latest version of the sandbox, run
cd sandbox
git pull
sudo docker build --no-cache -t lrde/sandbox .
sudo docker build --no-cache -t lrde/spot-sandbox .
Note that the git repository is rarely updated so "git pull" will
usually respond "Already up to date.", however "docker build" will
......
......@@ -107,12 +107,14 @@ SPINVERSION=`spin -V | sed -n 's/.* \([0-9.]\+\) --.*/\1/p'`
sed -i "s/@SPINVERSION@/$SPINVERSION/" /home/user/README
# Owl
V=18.06
V=19.06
wget http://www.lrde.epita.fr/dload/spot/deps/owl-$V.zip
mkdir -p /usr/local/share/
unzip owl-$V.zip -d /usr/local/share/
rm -f owl-$V.zip
for i in delag dra2dpa fltl2dgmra ltl2da ltl2dgra \
ltl2dpa ltl2dra nba2dpa nba2ldba owl owk-server synth; do
for i in delag dra2dpa fgx2dpa ltl2dgmra ltl2da ltl2dgra ltl2dpa ltl2dra \
ltl2ldgba ltl2na ltl2nba ltl2ngba nba2dpa nba2ldba owl owl-client \
owl-server synth
do
ln -s /usr/local/share/owl-$V/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