#=====================================================================
# The following values are patched by "setup" or may be 
# adjusted manually
# =====================================================================

SML=sml
MLPRETTY_SML=/usr/groups/hol/mlpretty/mlpretty

#=====================================================================
# src
#=====================================================================

smlpp_FILES= \
	sml.pp \
	sml.pp.support.sig \
	sml.pp.support.sml \
	sml.tostring.sig \
	sml.tostring.sml
src: $(smlpp_FILES) sml.pp.sml

$(smlpp_FILES): sml.pp.nw
	notangle -R$@ sml.pp.nw > $@.tmp
	addcopyright $@.tmp > $@
	@rm -f $@.tmp

#=====================================================================
# compile the pretty printer
#=====================================================================


sml.pp.sml: sml.pp
	echo 'PrettyGen.prettyGen [] ["sml"] (Portable.SOME "$@.tmp");'\
	| $(MLPRETTY_SML)
	merge -p sml.pp.sml.tmp sml.pp.sml.unmodified sml.pp.sml.modified > $@
	rm $@.tmp

hol90:

clean:
	rm -f *.tcl tclIndex *.bak *.sml *.sig *.pp *.tmp

