1 files changed, 3 insertions, 2 deletions

diff --git a/Makefile b/Makefile
index ecaee82..4a18566 100644
--- a/Makefile
+++ b/Makefile
@@ -1,13 +1,14 @@
 ## Makefile Parameters #########################################################
 LEVEL_FILES = $(wildcard ${CURDIR}/data/level/*.lvl)
 PROPERTY_FILES = \
-	$(wildcard ${CURDIR}/data/property/*.pro) \
-	$(wildcard ${CURDIR}/data/property/cnes/*.pro)
+	$(wildcard ${CURDIR}/data/property/*.pro)
+#	$(wildcard ${CURDIR}/data/property/cnes/*.pro)
 AST_FILE = ${CURDIR}/data/ast/best_chronometer_ever.xml
 #AST_FILE = ${CURDIR}/data/ast/pong.xml
 
 TMP_DIR = /tmp/tabellion
 MODEL_DIR = $(TMP_DIR)/mod
+MODEL_INSTANCES_DIR = $(TMP_DIR)/instance
 SOL_DIR = $(TMP_DIR)/sol
 
 ## Sub-programs ################################################################