# GNUmakefile for proof applet
# TO DO: make this make a jar file
# jtb, 19991024: created

# "make all" will create this directory, and place the applet here.
DESTDIR = /home/jburdick/public_html/proof/

# the Java sources
SRCS = proof/*/*.java

# the current directory
PWD = $(shell pwd)

CLASSDIR = $(DESTDIR)/classes/

all: scanner parser $(SRCS)
	-mkdir -p ../classes
	javac -d ../classes proof/*/*.java

# FIXME: java_cup and JLex keep getting recompiled
# even when they're up-to-date
scanner: proof/parse/Yylex JLex
	cd ../classes; \
	java JLex.Main ../src/proof/parse/Yylex

parser: scanner proof/parse/parser.cup java_cup
	cd ../classes; \
	java java_cup.Main < ../src/proof/parse/parser.cup
	mv ../classes/parser.java proof/parse/parser.java
	mv ../classes/sym.java proof/parse/sym.java

JLex: JLex/Main.java
	-mkdir -p ../classes
	javac -d ../classes JLex/*.java

java_cup: java_cup/*.java java_cup/*/*.java
	-mkdir -p ../classes
	javac -d ../classes java_cup/*.java java_cup/*/*.java

.PHONY: docs
docs: $(SRCS)
	-mkdir -p ../javadoc
	javadoc -d ../javadoc $(SRCS)

# install      FIXME: add this
#	-mkdir -p $(DESTDIR)
#	-mkdir -p $(CLASSDIR)

