1 files changed, 35 insertions, 0 deletions
diff --git a/instr-to-kodkod/cfg-to-paths/Makefile b/instr-to-kodkod/cfg-to-paths/Makefile
new file mode 100644
index 0000000..c9d14be
--- /dev/null
+++ b/instr-to-kodkod/cfg-to-paths/Makefile
@@ -0,0 +1,35 @@
+## Target(s) Configuration #####################################################
+MODEL_FILES = $(wildcard ../ast-to-instr/cfg_*.mod)
+OUTPUT_FILES = $(patsubst ../ast-to-instr/%.mod,%.cfg.mod,$(MODEL_FILES))
+
+## Executables #################################################################
+JAVAC = javac
+JAVA = java
+
+## Java Config #################################################################
+CLASSPATH = "./src/"
+
+## Makefile Magic ##############################################################
+SOURCES = $(wildcard src/*.java)
+CLASSES = $(SOURCES:.java=.class)
+
+## Makefile Rules ##############################################################
+
+all: $(CLASSES) $(OUTPUT_FILES)
+
+clean:
+	rm -f $(CLASSES)
+	rm -f *.mod
+
+#run: $(CLASSES)
+#	$(JAVA) -cp $(CLASSPATH) Main $(MODEL_FILE) $(ROOT_NODE) $(ID_PREFIX) \
+#		$(OUTPUT_FILE)
+
+%.class: %.java
+	$(JAVAC) -cp $(CLASSPATH) $<
+
+PATTERN = 's/\(is_start_node ([0-9]+).*/\1/p'
+
+%.cfg.mod: ../ast-to-instr/%.mod $(CLASSES)
+	$(eval ROOT_NODE := $(shell cat $< | grep 'is_start_node' | sed -En $(PATTERN)))
+	$(JAVA) -cp $(CLASSPATH) Main $< $(ROOT_NODE) "p$(ROOT_NODE)_" $@