Working on a way to CTL over DAG in Kodkod.

1 files changed, 36 insertions, 0 deletions

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)/$@"
+