From 70b40bfb6c032c0dead7069b2178a43e63a8e563 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 19 Jul 2017 10:29:52 +0200
Subject: First shot at the framework (it does compile).

---
 instr-to-kodkod/parser/Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 instr-to-kodkod/parser/Makefile

(limited to 'instr-to-kodkod/parser/Makefile')

diff --git a/instr-to-kodkod/parser/Makefile b/instr-to-kodkod/parser/Makefile
new file mode 100644
index 0000000..8f36479
--- /dev/null
+++ b/instr-to-kodkod/parser/Makefile
@@ -0,0 +1,8 @@
+PropertyParser.java: PropertyLexer.g4  PropertyParser.g4
+	java -jar ../antlr-4.7-complete.jar PropertyLexer.g4 PropertyParser.g4
+
+clean:
+	rm -f *.java *.class *.tokens
+
+#test_run:
+#	java -cp ".:../antlr-4.7-complete.jar" org.antlr.v4.gui.TestRig Property prog -gui
-- 
cgit v1.2.3-70-g09d2