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)