
# -*- Makefile -*-

# Configuration file for TempEst 1.2

# Do not use tildes (as in ~user/foo) in the following definitions.
# You can use $(HOME), or other variables in your environment.

# If you may want to rename the executables for the tools
# you can change these definitions.

OCCHECK = occheck
TL2STRL = tl2strl

# Because the tools are implemented in sml,
# each tool has three parts:
#
#	- The SML/NJ run-time
#	- An architecture independent heap,
#		"byte-code" if you will, implementing
#		the tool.
#	- The main script, invoking the SML run-time
#		on the heap file.

# Directory for the SML run time. If you are installing from sources
# only, you have to have the proper SML/NJ run time installed in this
# directory already. The runtime file is usually called run.rs6000-aix,
# run.sparc-solaris or run.x86-linux and it is usually located
# in a directory called something like /...foo..../lib/sml/.run/.
# The main SML script calls it and it is not usually in the PATH.
# There is a runtime executable for each architecture.

SML_RT_DIR = /usr/local/lib

# Directory for the application heap. The application heap is
# independent of the architecture it runs on and therefore
# you can have a single copy accessed by the different
# machines even if they are executing on different architectures.

HEAPDIR = $(SML_RT_DIR)

# The directory for the top-level scripts: tl2strl and occheck
# You probably want to put this variable to a directory in your
# PATH so that you pick up the commands directly bu their name.

BINDIR = /usr/local/bin

# Directory for man pages

MANDIR = /usr/local/man/man1

# If you want to recompile from the sources,
# you need to have SML/NJ v109 (with source modules,
# libray, ml-lex and ml-yacc) installed (the version number
# may be important, since SML changes are sometimes tricky).
# SML/NJ version 109 is at ftp://ftp.research.att.com/dist/ml
# You need to set these variables in that case.

SML = sml

# This is where the smlnj-lib.cm and ml-yacc.cm files are.

SML_LIBS = /usr/local/lib/sml

########################################################
# You shouldn't need to touch these ones
# You may be able to use mkdir -p here if you don't have mkdirhier

MKDIRHIER = mkdirhier
INSTALL = install
