From be92d1955a45b81e3d7f4af26497c3d73aa46ceb Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Tue, 15 Aug 2017 18:43:56 +0200
Subject: Partial attr. support, build/run targets, literals

---
 instr-to-kodkod/Makefile | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'instr-to-kodkod/Makefile')

diff --git a/instr-to-kodkod/Makefile b/instr-to-kodkod/Makefile
index 1fe4535..dcdada8 100644
--- a/instr-to-kodkod/Makefile
+++ b/instr-to-kodkod/Makefile
@@ -94,6 +94,7 @@ SOLUTION_FILES = $(addprefix $(SOL_DIR)/,$(notdir $(PROPERTY_FILES:.pro=.sol)))
 MODEL_FILES = \
 	$(MODEL_DIR)/structural.mod \
 	$(MODEL_DIR)/depths.mod \
+	$(MODEL_DIR)/string_to_instr.map \
 	$(filter-out %structural.mod,$(wildcard $(MODEL_DIR)/cfg_*.mod))
 PARSER_SOURCES = $(wildcard parser/*.g4)
 PARSER_CLASSES = $(PARSER_SOURCES:.g4=.class)
@@ -102,6 +103,9 @@ export
 ## Makefile Rules ##############################################################
 run: cfg-generator $(PARSER_CLASSES) $(CLASSES) $(SOLUTION_FILES)
 
+build: $(PARSER_CLASSES) $(CLASSES)
+	$(MAKE) -C cfg-to-paths build
+
 cfg-generator:
 	$(MAKE) -C cfg-to-paths
 
-- 
cgit v1.2.3-70-g09d2