| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-08-03 16:02:19 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-08-03 16:02:19 +0200 |
| commit | b16812434d54a9d7480564cbf4f299168ca6a1a1 (patch) | |
| tree | f923ee4b4705bb792f15be6304eee2f108160593 /instr-to-kodkod/Makefile | |
| parent | 90bb7e959496c3a12bebe055f6344b9f06f22809 (diff) | |
The Makefile of instr-to-kodkod's parser is done.
Diffstat (limited to 'instr-to-kodkod/Makefile')
| -rw-r--r-- | instr-to-kodkod/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/instr-to-kodkod/Makefile b/instr-to-kodkod/Makefile index 815c527..45c752a 100644 --- a/instr-to-kodkod/Makefile +++ b/instr-to-kodkod/Makefile @@ -101,7 +101,7 @@ run: cfg-generator parser $(SOLUTION_FILES) cfg-generator: $(MAKE) -C cfg-to-paths -parser: antlr-4.7-complete.jar +parser: antlr-4.7-complete.jar kodkod.jar $(MAKE) -C parser clean: |