| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-19 10:29:52 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-19 10:29:52 +0200 |
| commit | 70b40bfb6c032c0dead7069b2178a43e63a8e563 (patch) | |
| tree | fddf894ab2642aad5d6a87b85c00192833c0d64b /instr-to-kodkod/parser/Makefile | |
| parent | 1cac6685e5dc334473c304194d5f816b6ecf3469 (diff) | |
First shot at the framework (it does compile).
Diffstat (limited to 'instr-to-kodkod/parser/Makefile')
| -rw-r--r-- | instr-to-kodkod/parser/Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
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 |