| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'instr-to-kodkod/Makefile')
| -rw-r--r-- | instr-to-kodkod/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/instr-to-kodkod/Makefile b/instr-to-kodkod/Makefile index dd80198..7aa3a82 100644 --- a/instr-to-kodkod/Makefile +++ b/instr-to-kodkod/Makefile @@ -1,5 +1,6 @@ ## Target(s) Configuration ##################################################### -MODEL_FILES = $(wildcard ../data/instructions/*.mod) +#MODEL_FILES = $(wildcard ../data/instructions/*.mod) +MODEL_FILES = $(wildcard ../instr-scripts/*.mod) LEVEL_DIR = $(wildcard ../data/level/*.lvl) PROPERTY_FILE = ../data/property/unread_waveforms.pro VAR_PREFIX = "_anon_" |