| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'instr-to-kodkod/Makefile')
| -rw-r--r-- | instr-to-kodkod/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/instr-to-kodkod/Makefile b/instr-to-kodkod/Makefile index 5d81814..9823919 100644 --- a/instr-to-kodkod/Makefile +++ b/instr-to-kodkod/Makefile @@ -8,8 +8,7 @@ MODEL_FILES = \ MAP_FILES = $(wildcard ../ast-to-instr/*.map) LEVEL_DIR = $(wildcard ../data/level/*.lvl) -PROPERTIES = \ - ../data/property/cnes/CNE_01700.pro +PROPERTIES = $(wildcard ../data/property/cnes/*.pro) ## Executables ################################################################# JAVAC = javac |