From 914e0dc50230a76f75ce3b9a7f4585b1e08316d2 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Mon, 25 Sep 2017 15:39:41 +0200
Subject: Fixes dependency rule issues.

---
 prop_to_pred/Makefile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'prop_to_pred')

diff --git a/prop_to_pred/Makefile b/prop_to_pred/Makefile
index 50cd36a..0fe37cc 100644
--- a/prop_to_pred/Makefile
+++ b/prop_to_pred/Makefile
@@ -2,6 +2,9 @@
 TO_PRED_TEMPLATE_DIR ?=
 INFERRED_LEVEL_FILE ?=
 PARSING_SCRIPT ?= ${CURDIR}/parser.py
+PROPERTIES_DIR ?=
+#### Where to find the properties to verify
+ALL_PROPERTY_FILES ?= $(wildcard $(PROPERTIES_DIR)/*.pro)
 
 ## Parameters Sanity Check #####################################################
 ifeq ($(strip $(PARSING_SCRIPT)),)
@@ -12,9 +15,9 @@ endif
 
 ## Makefile Magic ##############################################################
 PRED_TO_INFER = \
-	$(addprefix $(TO_PRED_TEMPLATE_DIR)/,$(notdir $(wildcard $(TEMPLATE_DIR)/*.pp)))
+	$(addsuffix .pp,$(addprefix $(TO_PRED_TEMPLATE_DIR)/,$(notdir $(basename $(ALL_PROPERTY_FILES)))))
 ADDITIONAL_MAKEFILES = \
-	$(addsuffix .deps,$(addprefix $(DEPENDENCIES_DIR)/,$(basename $(notdir $(wildcard $(PROPERTIES_DIR)/*.pro)))))
+	$(addsuffix .deps,$(addprefix $(DEPENDENCIES_DIR)/,$(basename $(notdir $(ALL_PROPERTY_FILES)))))
 
 export
 ## Makefile Rules ##############################################################
-- 
cgit v1.2.3-70-g09d2