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

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

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

proofs_FILES= \
	proofs.pp \
	proofs.pp.support.sig \
	proofs.pp.support.sml \
	proofs.pp.totcl.sml
src: $(proofs_FILES) proofs.pp.sml

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

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


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

hol90:


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