|
|
@ -10,7 +10,7 @@ |
|
|
THIS_DIR = explicit |
|
|
THIS_DIR = explicit |
|
|
PRISM_DIR_REL = ../.. |
|
|
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)) |
|
|
JAVA_FILES = $(subst package-info.java,,$(JAVA_FILES_ALL)) |
|
|
CLASS_FILES = $(JAVA_FILES:%.java=$(PRISM_DIR_REL)/$(CLASSES_DIR)/$(THIS_DIR)/%.class) |
|
|
CLASS_FILES = $(JAVA_FILES:%.java=$(PRISM_DIR_REL)/$(CLASSES_DIR)/$(THIS_DIR)/%.class) |
|
|
|
|
|
|
|
|
|