| 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/Makefile | |
| parent | 1cac6685e5dc334473c304194d5f816b6ecf3469 (diff) | |
First shot at the framework (it does compile).
Diffstat (limited to 'instr-to-kodkod/Makefile')
| -rw-r--r-- | instr-to-kodkod/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/instr-to-kodkod/Makefile b/instr-to-kodkod/Makefile index 2611f28..073fe58 100644 --- a/instr-to-kodkod/Makefile +++ b/instr-to-kodkod/Makefile @@ -19,12 +19,13 @@ CLASSES = $(SOURCES:.java=.class) ## Makefile Rules ############################################################## -all: $(CLASSES) +all: parser/PropertyParser.java $(CLASSES) clean: rm -f $(CLASSES) + $(MAKE) -C parser clean -run: $(CLASSES) $(REQUIRED_JARS) +run: parser/PropertyParser.java $(CLASSES) $(REQUIRED_JARS) $(JAVA) -cp $(CLASSPATH) Main $(LEVEL_DIR) $(MODEL_FILE) %.class: %.java $(REQUIRED_JARS) @@ -34,3 +35,5 @@ run: $(CLASSES) $(REQUIRED_JARS) echo "Attempting to download missing jar '$@'" $(DOWNLOADER) "$(JAR_SOURCE)/$@" +parser/PropertyParser.java: antlr-4.7-complete.jar + $(MAKE) -C parser |