From 0ae71e58a58b71c450866e64b0f0dd2fa304efef Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Thu, 8 Mar 2018 15:14:46 +0100 Subject: [PATCH] Makefile: for explicit package, include sub-packages --- prism/src/explicit/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/explicit/Makefile b/prism/src/explicit/Makefile index 1ef53788..ab1fb5de 100644 --- a/prism/src/explicit/Makefile +++ b/prism/src/explicit/Makefile @@ -10,7 +10,7 @@ THIS_DIR = explicit PRISM_DIR_REL = ../.. -JAVA_FILES_ALL = $(wildcard *.java) +JAVA_FILES_ALL = $(wildcard *.java rewards/*.java modelviews/*.java graphviz/*.java) JAVA_FILES = $(subst package-info.java,,$(JAVA_FILES_ALL)) CLASS_FILES = $(JAVA_FILES:%.java=$(PRISM_DIR_REL)/$(CLASSES_DIR)/$(THIS_DIR)/%.class)