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

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

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


holpp_FILES= \
	hol.pp.externals.sig hol.pp.externals.sml \
	hol.pp.destructors.sig hol.pp.destructors.sml \
	hol.pp \
	hol.pp.totcl.sml


src:    $(holpp_FILES) \
	$(holpp_to_tcl_FILES) \
	hol.pp.sml

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

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



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


hol.pp.sml: hol.pp
#	echo 'val mlpretty_dir = "$(tkhol_INSTALL_DIR)/mlpretty/";'\
#	     'val sml_version = "$(SML_VERSION)";'\
#	     'use (mlpretty_dir ^ "load_mlpretty.sml");'\
#	     'PrettyGen.prettyGen [PrettyGen.With_labels] ["hol"] (Portable.SOME "$@");'\
#	| $(SML)
	echo 'PrettyGen.prettyGen [PrettyGen.With_labels] ["hol"] (Portable.SOME "$@.tmp");'\
	| $(MLPRETTY_SML)
	merge -p hol.pp.sml.tmp hol.pp.sml.unmodified hol.pp.sml.modified > $@
#	rm -f hol.pp.sml.tmp



hol90: 

