| summaryrefslogtreecommitdiff |
diff options
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: |