| summaryrefslogtreecommitdiff |
path: root/no-prop-to-pred
diff options
Diffstat (limited to 'no-prop-to-pred')
| -rw-r--r-- | no-prop-to-pred/Makefile | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/no-prop-to-pred/Makefile b/no-prop-to-pred/Makefile new file mode 100644 index 0000000..c5d2df4 --- /dev/null +++ b/no-prop-to-pred/Makefile @@ -0,0 +1,42 @@ +## Parameters ################################################################## +TO_PRED_TEMPLATE_DIR ?= +INFERRED_LEVEL_FILE ?= +PROPERTIES_DIR ?= +#### Where to find the properties to verify +ALL_PROPERTY_FILES ?= $(wildcard $(PROPERTIES_DIR)/*.pro) + +################################################################################ +PRED_TO_INFER = \ + $(addsuffix .pp,$(addprefix $(TO_PRED_TEMPLATE_DIR)/,$(notdir $(basename $(ALL_PROPERTY_FILES))))) +ADDITIONAL_MAKEFILES = \ + $(addsuffix .deps,$(addprefix $(DEPENDENCIES_DIR)/,$(basename $(notdir $(ALL_PROPERTY_FILES))))) + +export +## Makefile Rules ############################################################## +compile: $(PRED_TO_INFER) $(ADDITIONAL_MAKEFILES) + +model: + +solutions: + +clean: + rm -f $(TO_PRED_TEMPLATE_DIR)/* + rm -f $(INFERRED_LEVEL_FILE) + +clean_model: + +clean_solutions: + rm -f $(TO_PRED_TEMPLATE_DIR)/* + rm -f $(INFERRED_LEVEL_FILE) + +######## +$(TO_PRED_TEMPLATE_DIR)/%.pp: $(PROPERTIES_DIR)/%.pro + touch $@ + $(MAKE) $(DEPENDENCIES_DIR)/$(patsubst %.pp,%,$(notdir $(basename $@))).deps + +$(DEPENDENCIES_DIR)/%.deps: $(PROPERTIES_DIR)/%.pro + printf "$(SOL_DIR)/$(notdir $(basename $@)).sol.ready: " > $@ + for dep in `sed -n 's/^#require \"\(.*\)\"$$/\1/p' $<` ; do \ + printf "$(SOL_DIR)/$$dep.sol " >> $@ ; \ + done + printf "\n\t touch $(SOL_DIR)/$(notdir $(basename $@)).sol.ready\n\n" >> $@ |