#!/bin/bash

##############################################################################

# shell script for running SML heap images

##############################################################################

# edit the following line to set prog to the base name of the heap
# image

prog=crypto;

# edit the following line to set heapdir to the absolute directory
# where the heap image will reside

heapdir=.heap;

# edit the following line to set sml to the SML/NJ executable

sml=sml;

##############################################################################

exec $sml @SMLload=$heapdir/$prog @SMLcmdname=$0 "$@";