From 88658f0bd7fbd66f84fa53ce2b71343b52b9e054 Mon Sep 17 00:00:00 2001
From: "Guillermo A. Perez" <guillermoalberto.perez@uantwerpen.be>
Date: Wed, 12 Aug 2020 18:22:13 +0200
Subject: [PATCH] it compiles now

---
 Makefile   | 3 ++-
 acacia.cpp | 7 ++++++-
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index a0f64be7..8452ca4e 100644
--- 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
index 3dc26f67..211cb015 100644
--- 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;
 }