# Makefile for The EML Kit
# 
# The variables below must be set according to the local site.
# If your ML compiler only has the Ediburgh Standard ML Library's Make
# facility loaded then the variable CONSULT will ensure that the
# correct library modules are loaded prior to compiling the ML Kit;
# otherwise it will be ignored.

CONSULT=ML_CONSULT_LIB

# NJSML is the a version of the New Jersey Compiler with the
# Edinburgh Library loaded

NJSML = `pwd`/../../sml-ed

# POLYDATABASEFILE is a Poly/ML databasefile with the 
# Edinburgh Library saved

POLYDATABASEFILE = `pwd`/../../MLedlib_dbase

# POLY is the Poly/ML compiler.
POLY = poly 

emlkit-int-NJ:
	(cat $(CONSULT) ../tools/NJ/buildNJint | $(NJSML) )
emlkit-eml-NJ:
	(cat $(CONSULT) ../tools/NJ/buildNJeml | $(NJSML) )
emlkit-batch-NJ:
	(cat $(CONSULT) ../tools/NJ/buildNJbatch | $(NJSML) )
emlkit-int-Poly:
	(cp $(POLYDATABASEFILE) emlkit; \
	 chmod +w emlkit; \
	cat $(CONSULT) ../tools/Poly/buildPolyint | $(POLY) -h 32768 emlkit )
