From 51edef030be94b7aa23631f7e40225c60878473f Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Thu, 27 Jul 2017 11:25:42 +0200 Subject: First shot at depths operators. --- instr-to-kodkod/Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'instr-to-kodkod/Makefile') diff --git a/instr-to-kodkod/Makefile b/instr-to-kodkod/Makefile index 1b59ccd..705f3e2 100644 --- a/instr-to-kodkod/Makefile +++ b/instr-to-kodkod/Makefile @@ -1,6 +1,10 @@ ## Target(s) Configuration ##################################################### #MODEL_FILES = $(wildcard ../data/instructions/*.mod) -MODEL_FILES = ../ast-to-instr/structural.mod $(wildcard ../ast-to-instr/cfg_*.mod) $(wildcard ../cfg-to-paths/*.mod) +MODEL_FILES = \ + ../ast-to-instr/structural.mod \ + ../ast-to-instr/depths.mod \ + $(wildcard ../ast-to-instr/cfg_*.mod) \ + $(wildcard ../cfg-to-paths/*.mod) MAP_FILES = $(wildcard ../ast-to-instr/*.map) LEVEL_DIR = $(wildcard ../data/level/*.lvl) #PROPERTY_FILE = ../data/property/unread_waveforms.pro -- cgit v1.2.3-70-g09d2