Commit d251c84e authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

ltl2ba 1.3

parent 6351601e
Pipeline #20510 failed with stage
in 10 minutes and 45 seconds
......@@ -30,7 +30,7 @@ release.
For convenience, the following third-party tools have also been
installed (see /usr/local/share/doc/ for license details):
- ltl2ba 1.2 (GPL 2)
- ltl2ba 1.3 (GPL 2)
- ltl3ba 1.1.3 (GPL 2)
- ltl3dra 0.3.0 (GPL 3)
- ltl3tela 1.1.2 (GPL 3)
......
......@@ -10,8 +10,8 @@ sed -i "s/DATE/$DATE/g;s/VERSION/$VERSION/g" \
chown user:user /home/user/.jupyter
# LTL2BA
V=1.2
wget https://www.lrde.epita.fr/dload/spot/deps/ltl2ba-1.2.tar.gz
V=1.3
wget https://www.lrde.epita.fr/dload/spot/deps/ltl2ba-$V.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 https://www.lrde.epita.fr/dload/spot/deps/ltl3ba-1.1.3.tar.gz
wget https://www.lrde.epita.fr/dload/spot/deps/ltl3ba-$V.tar.gz
tar xvf ltl3ba-$V.tar.gz
cd ltl3ba-$V
make -j4
......
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