| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'prop_to_pred/Makefile')
| -rw-r--r-- | prop_to_pred/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
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 ############################################################## |