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

tkhol_INSTALL_DIR=/homes/drs1004/projects/tkhol
HOL90=/homes/drs1004/projects/hol90/src/hol90.sparc

#=====================================================================
#
#=====================================================================

hol90: smlpp.hol_lib

smlpp.hol_lib: smlpp_lib.sml \
		$(tkhol_INSTALL_DIR)/hol90/mlpretty_runtime/mlpretty_runtime.hol_lib
	echo 'val smlpp_lib_path = "$(tkhol_INSTALL_DIR)/hol90/smlpp/";' \
	     'Globals.library_path := (!Globals.library_path)@["$(tkhol_INSTALL_DIR)/hol90/mlpretty_runtime/"];'\
	     'use "smlpp_lib.sml";' \
	     'exit();'  | ${HOL90}

