##############################################################################
#
# $Id$
#
# Makefile for the coq-gap
#
# Copyright (c) 2000, Eindhoven University of Technology (TU/e).
# All Rights Reserved.
#


##############################################################################
#
# Set the location of the JDK release.
#
ifndef JAVA_HOME
  JAVA_HOME = /home/java/jdk1.2.2
endif


##############################################################################
#
# Java tools
#
JAVAC   = $(JAVA_HOME)/bin/javac
JAVA    = $(JAVA_HOME)/bin/java
JAVADOC = $(JAVA_HOME)/bin/javadoc
JAR     = $(JAVA_HOME)/bin/jar
JDB     = $(JAVA_HOME)/bin/jdb

##############################################################################
#
# Java tools
#
CLASSPATH_1 = $(JAVA_HOME)/jre/lib/rt.jar
CLASSPATH_2 = $(CLASSPATH_1):$(JAVA_HOME)/jre/lib/i18n.jar
CLASSPATH_OM = lib/Naomi.jar:lib/xml4j.jar:lib/om.jar:lib/parser.jar:lib/jaxp.jar:lib/gap-parser.jar:lib/antlr.jar:lib/antlrall.jar
CLASSPATH   = $(CLASSPATH_2):$(CLASSPATH_OM):obj/share/classes:lib/coq-link.jar


##############################################################################
#
# Compile the Java binaries
#
bin:  gui jar	   


##############################################################################
#
# Compile the Java binaries and API-documentation
#
all:  gui jar apidocs


##############################################################################
#
# Create the jar file.
#
jar:	   
	@echo creating jar file
	@cd obj/share/classes ; \
		$(JAR) cf ../../../lib/gui.jar .


##############################################################################
#
# Compile the Java part of the library
#
gui:	   
	@echo compiling nl.tue.win.riaca.demo.pocklington
	@$(JAVAC) -classpath $(CLASSPATH) -d obj/share/classes\
		src/share/classes/nl/tue/win/riaca/demo/pocklington/*.java\
		src/share/classes/nl/tue/win/riaca/demo/pocklington/gap/codec/*.java\
		src/share/classes/nl/tue/win/riaca/demo/pocklington/gap/phrasebook/*.java\
		src/share/classes/nl/tue/win/riaca/demo/pocklington/gap/codec/cd/*.java		


##############################################################################
#
# Run it
#
run:	   
	@echo running nl.tue.win.riaca.demo.pocklington
	@$(JAVA) -classpath :$(CLASSPATH):obj/share/classes/\
		nl.tue.win.riaca.demo.pocklington.GUI

#gap:	   
#	@echo running nl.tue.win.riaca.demo.pocklington
#	@$(JAVA) -classpath :$(CLASSPATH):obj/share/classes/\
#		nl.tue.win.riaca.demo.pocklington.GAPServer &\


##############################################################################
#
# Debug it
#
jdb:	   
	@echo running nl.tue.win.riaca.demo.pocklington
	@$(JDB) -classpath :$(CLASSPATH):obj/share/classes/\
		nl.tue.win.riaca.demo.pocklington.GUI


##############################################################################
#
# Generates the javadoc-documentation
#
apidocs:		
	@echo generating API-docs
	@$(JAVADOC) -sourcepath $(CLASSPATH):src/share/classes -d doc/api\
	nl.tue.win.riaca.demo.pocklington\
	nl.tue.win.riaca.demo.pocklington.gap.phrasebook\
	nl.tue.win.riaca.demo.pocklington.gap.codec\
	nl.tue.win.riaca.demo.pocklington.gap.codec.cd

##############################################################################
#
# Compile the test program.
#
test:	   
	@echo compiling test
	@$(JAVAC) -classpath $(CLASSPATH) -d obj/share/classes\
		src/share/classes/test/*.java


##############################################################################
#
# Cleans the project
#
clean:	   
	@-rm -r obj/share/classes/nl
	@-rm -r obj/share/classes/test
	@-rm -r lib/*jar


##############################################################################
#
# Compile the modules needed for this project
#
modules:
	@-cd ../../projects/coq/link ; make modules ; make 
	@-cp ../../projects/coq/link/lib/*.jar lib

	@-cd ../../projects/om/lib ; make modules ; make
	@-cp ../../projects/om/lib/lib/*.jar lib

	@-cd ../../projects/server ; make modules ; make 
	@-cp ../../projects/server/lib/*.jar lib

	@-cd ../../projects/gap/service ; make modules ; make 
	@-cp ../../projects/gap/service/lib/*.jar lib

	@-cd ../../projects/gap/parser ; make modules ; make
	@-cp ../../projects/gap/parser/lib/*.jar lib


##############################################################################
#
# Clean the modules needed by this project
#
modules-clean:
	cd ../../projects/coq/link ; make -e modules-clean 
	cd ../../projects/om/lib   ; make -e modules-clean


##############################################################################