| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-08-01 16:26:48 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-08-01 16:26:48 +0200 |
| commit | 69d904f3b2de5b914bc329af1729584f10644bf2 (patch) | |
| tree | 79eea7a6738730f11cf622bfa25b5c4f9370b429 /instr-to-kodkod/Makefile | |
| parent | 2db5b59a0b919212fcf751bbb27a001e0459049e (diff) | |
Starting a pretty-printer for the solutions.
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 |