Commit 3b0d0e12 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

fix previous patch

parent f2cd6edc
Pipeline #20641 passed with stage
in 10 minutes and 41 seconds
......@@ -47,12 +47,12 @@ rm -rf ltl3dra-$V ltl3dra-$V.tar.gz
# LTL3TELA
V=2.1.1
cat >ltl3tela.patch <<EOF
cat >ltl3tela.patch <<\EOF
diff --git a/Makefile b/Makefile
index 044f7b4..65d62c4 100644
--- a/Makefile
+++ b/Makefile
@@ -21 +21 @@ ltl3tela: $(FILES)
@@ -21 +21 @@
- 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
......
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