#
# Makefile for a 308 model.
#
MODULES = \
	Assignments \
	Grades \
	Info \
	Prediction \
	Reports \
	Visual \

FILES = \
	Assignments/*.java \
	Grades/*.java \
	Info/*.java \
	Prediction/*.java \
	Reports/*.java \
	Visual/*.java


OPENJML = /home/gfisher/classes/308/bin/openjml
#OPENJML = /home/gfisher/Desktop/openjml

JML = \
    java -Xbootclasspath/p:$(OPENJML)/openjmlboot.jar -jar \
	$(OPENJML)/openjml.jar -noPurityCheck

JMLDOC = $(OPENJML)/org/jmlspecs/openjml/jmldoc

all:		compile jml doc

compile:	$(FILES)
		javac $(FILES) ; rm -rf *.class */*.class

jml:		$(FILES)
		$(JML) $(FILES) ; rm -rf *.class */*.class

doc:		compile $(MODULES)
		/bin/tcsh -c "if (! -e .javadoc) mkdir javadoc"
		javadoc $(MODULES) -d javadoc -private
		rm -rf *.class */*.class

jmldoc:		$(FILES)
		$(JMLDOC) $(FILES) ; rm -rf *.class