From 95995f66c9b6ad2cf1d1e30fa0c69652ce9d5895 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 10 Jun 2013 13:17:46 +0000 Subject: [PATCH] Pepa Makefile bugfix - copied form prism-games. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6884 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/pepa/compiler/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/pepa/compiler/Makefile b/prism/src/pepa/compiler/Makefile index c2701d64..64f7edf1 100644 --- a/prism/src/pepa/compiler/Makefile +++ b/prism/src/pepa/compiler/Makefile @@ -27,7 +27,7 @@ checks: fi; $(PRISM_DIR_REL)/$(CLASSES_DIR)/$(THIS_DIR)/%.class: %.java - (cd ..; $(JAVAC) -sourcepath $(THIS_DIR)/$(PRISM_DIR_REL)/$(SRC_DIR) -classpath $(PRISM_CLASSPATH) -d $(THIS_DIR)/$(PRISM_DIR_REL)/$(CLASSES_DIR) $(THIS_DIR)/$<) + (cd ../..; $(JAVAC) -sourcepath $(THIS_DIR)/$(PRISM_DIR_REL)/$(SRC_DIR) -classpath $(PRISM_CLASSPATH) -d $(THIS_DIR)/$(PRISM_DIR_REL)/$(CLASSES_DIR) $(THIS_DIR)/$<) clean: checks @rm -f $(CLASS_FILES)