From d48380bd87dcef4b095b2a4e578d4461e68df73c Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Mon, 17 Jul 2017 15:22:19 +0200
Subject: Working on a way to CTL over DAG in Kodkod.

---
 cfg-to-paths/Makefile | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 cfg-to-paths/Makefile

(limited to 'cfg-to-paths/Makefile')

diff --git a/cfg-to-paths/Makefile b/cfg-to-paths/Makefile
new file mode 100644
index 0000000..6db785e
--- /dev/null
+++ b/cfg-to-paths/Makefile
@@ -0,0 +1,36 @@
+## Target(s) Configuration #####################################################
+MODEL_FILE = "../data/instructions/example_1.sl"
+LEVEL_DIR = "../data/level/"
+## Executables #################################################################
+JAVAC = javac
+JAVA = java
+DOWNLOADER = wget
+
+## Java Config #################################################################
+CLASSPATH = "kodkod.jar:./src/:org.sat4j.core.jar"
+
+## Dependencies ################################################################
+JAR_SOURCE = https://noot-noot.org/onera_2017/jar/
+REQUIRED_JARS = kodkod.jar org.sat4j.core.jar
+
+## Makefile Magic ##############################################################
+SOURCES = $(wildcard src/*.java)
+CLASSES = $(SOURCES:.java=.class)
+
+## Makefile Rules ##############################################################
+
+all: $(CLASSES)
+
+clean:
+	rm -f $(CLASSES)
+
+run: $(CLASSES) $(REQUIRED_JARS)
+	$(JAVA) -cp $(CLASSPATH) Main $(LEVEL_DIR) $(MODEL_FILE)
+
+%.class: %.java $(REQUIRED_JARS)
+	$(JAVAC) -cp $(CLASSPATH) $<
+
+%.jar:
+	echo "Attempting to download missing jar '$@'"
+	$(DOWNLOADER) "$(JAR_SOURCE)/$@"
+
-- 
cgit v1.2.3-70-g09d2