From b89007cc23e9c8419425b10242311c0aee2ecc36 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 10 May 2019 18:08:38 +0100 Subject: [PATCH] Makefile bug (pepa/compiler). Not usually triggered (I think) because the classes are actually compiled indirectly before this Makefile is even called. Could be fixed more systematically in all Makefiles by cd-ing into the SRC_DIR directory, rather than .. or ../.. --- 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 7b05b878..57a6e69b 100644 --- a/prism/src/pepa/compiler/Makefile +++ b/prism/src/pepa/compiler/Makefile @@ -32,7 +32,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) -h $(JNI_GEN_HEADER_DIR) -d $(THIS_DIR)/$(PRISM_DIR_REL)/$(CLASSES_DIR) $(THIS_DIR)/$<) + (cd ../..; $(JAVAC) -sourcepath $(THIS_DIR)/$(PRISM_DIR_REL)/$(SRC_DIR) -classpath $(PRISM_CLASSPATH) -h $(JNI_GEN_HEADER_DIR) -d $(THIS_DIR)/$(PRISM_DIR_REL)/$(CLASSES_DIR) $(THIS_DIR)/$<) clean: checks @rm -f $(CLASS_FILES)