Commit 0dca45f6 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

update Seminator 2.0

parent 3b0d0e12
Pipeline #20654 passed with stage
in 12 minutes and 30 seconds
......@@ -35,7 +35,7 @@ installed (see /usr/local/share/doc/ for license details):
- ltl3dra 0.3.0 (GPL 3)
- ltl3tela 2.1.1 (GPL 3)
- ltl2dstar 0.5.4 (GPL 2)
- Seminator 1.2.0 (GPL 3)
- Seminator 2.0 (GPL 3)
- Owl 19.06.03 (GPL 3)
- jhoafparser 1.1.1 (LGPL 2.1)
- spin @SPINVERSION@ (BSD 3-clause)
......
......@@ -78,16 +78,18 @@ cd ..
rm -rf ltl3tela-$V v$V.tar.gz
# Seminator
V=1.2.0
wget https://github.com/mklokocka/seminator/archive/v$V.zip
unzip v$V.zip
V=2.0
wget https://github.com/mklokocka/seminator/releases/download/v$V/seminator-$V.tar.gz
tar xvf seminator-$V.tar.gz
cd seminator-$V
./configure
make -j4
mv seminator /usr/local/bin
make install
ldconfig
mkdir -p /usr/local/share/doc/seminator
cp LICENSE README.md /usr/local/share/doc/seminator
cp COPYING README.md /usr/local/share/doc/seminator
cd ..
rm -rf seminator-$V v$V.zip
rm -rf seminator-$V seminator-$V.tar.gz
# ltl2dstar
V=0.5.4
......@@ -116,6 +118,7 @@ exec java -jar /usr/local/share/jhoaf/jhoafparser-$V.jar "\$@"
EOF
chmod +x /usr/local/bin/jhoaf
# Spin already installed as Debian package
ln -s /usr/share/doc/spin /usr/local/share/doc
# Divine already installed as Debian package
......
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