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

install ltl3tela 2.1.1

parent d251c84e
Pipeline #20579 failed with stage
in 10 minutes and 46 seconds
...@@ -33,10 +33,10 @@ installed (see /usr/local/share/doc/ for license details): ...@@ -33,10 +33,10 @@ installed (see /usr/local/share/doc/ for license details):
- ltl2ba 1.3 (GPL 2) - ltl2ba 1.3 (GPL 2)
- ltl3ba 1.1.3 (GPL 2) - ltl3ba 1.1.3 (GPL 2)
- ltl3dra 0.3.0 (GPL 3) - ltl3dra 0.3.0 (GPL 3)
- ltl3tela 1.1.2 (GPL 3) - ltl3tela 2.1.1 (GPL 3)
- ltl2dstar 0.5.4 (GPL 2) - ltl2dstar 0.5.4 (GPL 2)
- Seminator 1.2.0 (GPL 3) - Seminator 1.2.0 (GPL 3)
- Owl 19.06.01 (GPL 3) - Owl 19.06.03 (GPL 3)
- jhoafparser 1.1.1 (LGPL 2.1) - jhoafparser 1.1.1 (LGPL 2.1)
- spin @SPINVERSION@ (BSD 3-clause) - spin @SPINVERSION@ (BSD 3-clause)
- divine 2.4 patched with LTSmin support (BSD 2-clause + GPL 2) - divine 2.4 patched with LTSmin support (BSD 2-clause + GPL 2)
......
...@@ -46,10 +46,30 @@ cd .. ...@@ -46,10 +46,30 @@ cd ..
rm -rf ltl3dra-$V ltl3dra-$V.tar.gz rm -rf ltl3dra-$V ltl3dra-$V.tar.gz
# LTL3TELA # LTL3TELA
V=1.1.2 V=2.1.1
cat >ltl3tela.patch <<EOF
diff --git a/Makefile b/Makefile
index 044f7b4..65d62c4 100644
--- a/Makefile
+++ b/Makefile
@@ -21 +21 @@ ltl3tela: $(FILES)
- g++ -std=c++14 -o ltl3tela $(FILES) -lspot -lbddx
+ g++ -std=c++17 -O2 -o ltl3tela $(FILES) -lspot -lbddx
diff --git a/automaton.cpp b/automaton.cpp
index 1669882..87a73e9 100644
--- a/automaton.cpp
+++ b/automaton.cpp
@@ -111 +111 @@ template<typename T> void Automaton<T>::add_edge(unsigned from, bdd label, std::
- if (spot_id_to_slaa_set == nullptr) {
+ if constexpr (! std::is_same<T, unsigned>::value) {
@@ -153 +153 @@ template<typename T> void Automaton<T>::add_edge(unsigned from, bdd label, std::
- if (spot_id_to_slaa_set == nullptr) {
+ if constexpr (! std::is_same<T, unsigned>::value) {
EOF
wget https://github.com/jurajmajor/ltl3tela/archive/v$V.tar.gz wget https://github.com/jurajmajor/ltl3tela/archive/v$V.tar.gz
tar xvf v$V.tar.gz tar xvf v$V.tar.gz
cd ltl3tela-$V cd ltl3tela-$V
patch -p1 < ../ltl3tela.patch
make -j4 make -j4
mv ltl3tela /usr/local/bin || mv ltl3hoa /usr/local/bin mv ltl3tela /usr/local/bin || mv ltl3hoa /usr/local/bin
mkdir -p /usr/local/share/doc/ltl3tela mkdir -p /usr/local/share/doc/ltl3tela
......
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