# -*- makefile -*- mode for emacs
# @(#) $Id: Makefile,v 1.1 1999/08/24 04:37:57 leavens Exp $

JAVAC = javac
JAVAFLAGS = -g

JML = jml

RM = rm -f

.SUFFIXES: .java  .java-ckd .java-refined .java-r-ckd .class \
		.jml .jml-ckd .jml-refined .jml-r-ckd 

.java.java-ckd:
	$(JML) $(JMLFLAGS) $< 2>&1 | tee $@

.java-refined.java-r-ckd:
	$(JML) $(JMLFLAGS) $< 2>&1 | tee $@

.java.class:
	$(JAVAC) $(JAVAFLAGS) $<

.jml.jml-ckd:
	$(JML) $(JMLFLAGS) $< 2>&1 | tee $@

.jml-refined.jml-r-ckd:
	$(JML) $(JMLFLAGS) $< 2>&1 | tee $@

all: compile

compile :
	$(JAVAC) $(JAVAFLAGS) *.java

check: checkallspecs compile

# check all JML specs.
checkallspecs :
	$(JML) $(JMLFLAGS) .

# Clean up stuff
#
clean	:
	$(RM) *.*-ckd *.class core

cleanall: clean