| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-17 10:13:31 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-17 10:13:31 +0200 |
| commit | 3e019d57fab57afe7aad373385f32a23bd178941 (patch) | |
| tree | c11e3440e4f199c8da54e649f01f9598df87e46b /instr-to-kodkod/Makefile | |
Initial commit.
Diffstat (limited to 'instr-to-kodkod/Makefile')
| -rw-r--r-- | instr-to-kodkod/Makefile | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/instr-to-kodkod/Makefile b/instr-to-kodkod/Makefile new file mode 100644 index 0000000..fb2662a --- /dev/null +++ b/instr-to-kodkod/Makefile @@ -0,0 +1,25 @@ +JAVAC = javac +JAVA = java +SOURCES = $(wildcard src/*.java) +CLASSES = $(SOURCES:.java=.class) +CLASSPATH = "kodkod.jar:./src/:org.sat4j.core.jar" +TEST_FILE = "./system_minus_fun.sl" +DOWNLOADER = wget +JAR_SOURCE = https://noot-noot.org/onera_2017/jar/ +REQUIRED_JARS = kodkod.jar org.sat4j.core.jar + +all: $(CLASSES) + +clean: + rm -f $(CLASSES) + +run: $(CLASSES) $(REQUIRED_JARS) + $(JAVA) -cp $(CLASSPATH) Main $(TEST_FILE) + +%.class: %.java $(REQUIRED_JARS) + $(JAVAC) -cp $(CLASSPATH) $< + +%.jar: + echo "Attempting to download missing jar '$@'" + $(DOWNLOADER) "$(JAR_SOURCE)/$@" + |