Commit 5543d0d7 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

seminator 1.1.0

parent 9533b1fc
......@@ -35,7 +35,7 @@ installed (see /usr/local/share/doc/ for license details):
- ltl3dra 0.2.5 (GPL 2)
- ltl3hoa 1.0.1 (GPL 3)
- ltl2dstar 0.5.3 (GPL 2)
- Seminator 1.0.0 (GPL 3)
- Seminator 1.1.0 (GPL 3)
- owl 1.1.0 (GPL 3)
- jhoafparser 1.1.1 (LGPL 2.1)
- spin @SPINVERSION@ (BSD 3-clause)
......
......@@ -58,10 +58,11 @@ cd ..
rm -rf ltl3hoa-$V v$V.tar.gz
# Seminator
V=1.0.0
V=1.1.0
wget https://github.com/mklokocka/seminator/archive/v$V.zip
unzip v$V.zip
cd seminator-$V
sed -i 's/c++11/c++14/g' makefile
make -j4
mv seminator /usr/local/bin
mkdir -p /usr/local/share/doc/seminator
......
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