
# -*- Makefile -*-

# Configuration file for TempEst 1.3

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

# Installation prefix (as in autoconf).

PREFIX = /usr/local

# The directory for the programs: 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 = $(PREFIX)/bin

# Directory for man pages

MANDIR = $(PREFIX)/man/man1

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

OCCHECK = occheck
TL2STRL = tl2strl

########################################################
#
# ONLY IF YOU ARE RECOMPILING FROM SOURCES YOU NEED THE FOLLOWING
#

# prefix for sml-related programs - not necessarily where
# you are installing TempEst.

SML_PREFIX = $(PREFIX)

# The directory where the sml libs are (i.e. where smlnj-lib.cm
# and ml-yacc-lib.cm are).

SML_LIBS = $(SML_PREFIX)/lib/sml

# In the $(SML_RUNTIME) directory, the stand-alone sml runtime is
# expected. Some file named e.g. run.sparc-solaris, or run.rs6000-aix.

SML_RUNTIME = $(SML_PREFIX)/lib/sml/stdalone-runtime

# The name of the SML compiler

SML = sml

# The following variable is the name of a program to convert
# a stand-alone runtime and a heap into a single executable.
# Read the INSTALL file for information on how to obtain this
# program.

HEAP2EXEC = heap2exec

########################################################
# 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 only copies files to a destination directory and
# gives them a given permission mode.

INSTALL = install
