it compiles now

gaperez64 · Aug 12, 2020 · 88658f0 · 88658f0
1 parent 173a953
commit 88658f0
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -2,7 +2,8 @@ CXX = clang++
 SRCS = hoatools/simplehoa.cpp hoatools/hoaparser.cpp hoatools/hoalexer.cpp
 HDRS = hoatools/simplehoa.hpp hoatools/hoaparser.hpp hoatools/hoalexer.hpp
 
-CFLAGS = -O3 -DNDEBUG
+GITVER = $(shell git describe --tags)
+CFLAGS = -O3 -DNDEBUG -DGITVER=\"$(GITVER)\"
 DBGFLAGS = -fsanitize=address -fno-omit-frame-pointer -g
 
 # The generated files for the parser have a sub Makefile

diff --git a/acacia.cpp b/acacia.cpp
@@ -30,7 +30,12 @@
 using namespace std;
 
 void usage(char* progName) {
-    cout << progName << " [OPTIONS] [FILENAME]" << endl
+#ifdef GITVER
+    cout << progName << " version: " << GITVER << endl;
+#endif
+    cout << "Usage: " << progName
+         << " [OPTIONS] [FILENAME]" << endl
+         << "Synthesis solving for universal co-Buchi specifications"
          << endl;
 }