#
# Makefile for Calendar system formal specification.
#
MODULES =	caldb.java \
		schedule.java \
		view.java \
		admin.java \
		options.java \
		file.java \
		edit.java

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

JAVA7HOME = /Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/bin
JAVA7 = $(JAVA7HOME)/java
JAVAC7 = $(JAVA7HOME)/javac
JAVADOC7 = $(JAVA7HOME)/javadoc

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

all:		$(MODULES)
		$(JAVAC7) $(MODULES) ; rm -rf *.class

jml:		$(MODULES)
		$(JML) $(MODULES)

doc:		$(MODULES)
		cd $(JAVADOC7); $(JAVADOC7) -private ../*.java