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

HOL90=/tmp/drs1004/hol90.hash
tkhol_INSTALL_DIR=/homes/drs1004/projects/tkhol

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


holplus.hol_lib: holplus_lib.sml
	echo 'val holplus_lib_path = "$(tkhol_INSTALL_DIR)/hol90/holplus/";' \
	     'use "holplus_lib.sml";' \
	     'exit();'  | $(HOL90)

all: hol90

hol90: holplus.hol_lib



















