Commit 9f1b454a authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

remove ltl3dra until it is fixed

See https://github.com/xblahoud/ltl3dra/issues/1
parent e7e570ff
Pipeline #3047 passed with stage
in 26 minutes and 34 seconds
......@@ -32,7 +32,6 @@ For convenience the following third-party tools have also been
installed (see /usr/local/share/doc/ for license details):
- ltl2ba 1.2 (GPL 2)
- ltl3ba 1.1.3 (GPL 2)
- ltl3dra 0.2.6 (GPL 2)
- ltl3tela 1.1.2 (GPL 3)
- ltl2dstar 0.5.4 (GPL 2)
- Seminator 1.2.0 (GPL 3)
......@@ -43,7 +42,7 @@ installed (see /usr/local/share/doc/ for license details):
- spins 1.1 (Apache license 2.0)
All of these can interact with the shell commands or Python bindings
of Spot. The first nine because they generate automata in formats
of Spot. The first eight because they generate automata in formats
that Spot can read; the last two because they can encode a Kripke
structure as a shared-library that can be loaded by the functions in
the spot.ltsmin module. The ltsmin-dve.ipynb and ltsmin-pml.ipynb
......
......@@ -34,16 +34,16 @@ cd ..
rm -rf ltl3ba-$V ltl3ba-$V.tar.gz
# LTL3DRA
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
mv ltl3dra /usr/local/bin/
mkdir -p /usr/local/share/doc/ltl3dra
cp LICENSE README /usr/local/share/doc/ltl3dra
cd ..
rm -rf ltl3dra-$V 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
# mv ltl3dra /usr/local/bin/
# mkdir -p /usr/local/share/doc/ltl3dra
# cp LICENSE README /usr/local/share/doc/ltl3dra
# cd ..
# rm -rf ltl3dra-$V ltl3dra-$V.tar.gz
# LTL3TELA
V=1.1.2
......
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