summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-09-25 12:48:44 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-09-25 12:48:44 +0200
commit4669bdf7046c03200a28de4188075bee69571eb8 (patch)
tree97ff430a177d257be7e11d1392f3894d27de2f63 /sol-pretty-printer/Makefile
parent0fc661ebabdf55b8e0d26c4f85f0547c106b6549 (diff)
Updates Tests, fixes 2 properties & inferred/*.mod
Diffstat (limited to 'sol-pretty-printer/Makefile')
-rw-r--r--sol-pretty-printer/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/sol-pretty-printer/Makefile b/sol-pretty-printer/Makefile
index f5c6e7a..262078b 100644
--- a/sol-pretty-printer/Makefile
+++ b/sol-pretty-printer/Makefile
@@ -48,7 +48,7 @@ CLASSES = $(SOURCES:.java=.class)
SOLUTION_FILES = $(wildcard $(SOL_DIR)/*.sol)
PROPERTY_PP_FILES = $(wildcard $(TEMPLATE_DIR)/*.pp)
SOLUTION_PP_PAIRS = \
- $(foreach sf,$(SOLUTION_FILES),$(sf) $(filter %$(basename $(notdir $(sf))).pp,$(PROPERTY_PP_FILES)))
+ $(foreach sf,$(SOLUTION_FILES),$(sf) $(TEMPLATE_DIR)/$(basename $(notdir $(sf))).pp)
## Makefile Rules ##############################################################
compile: $(CLASSES)