#!/bin/sh
#
#

CMD="$0>"
IMAGE=smli
HEAPNAME=smli-heap
MESSAGE='("Based on Standard ML of New Jersey, Version 75, November 11, 1991"^(chr 10)^"(sml2c interpreter)")'

#
# gc params
#
HEAP=4096
RATIO=5
SOFTLIMIT=8192

if make
then
    strip $IMAGE
    STARTUP='('$COMMAND' exportML "'$HEAPNAME'"; output(std_out,System.version); output(std_out,(chr 10)); output(std_out, '$MESSAGE');output(std_out,chr 10));'
    echo "$STARTUP" | $IMAGE -m $SOFTLIMIT -r $RATIO -h $HEAP
else
  echo "makeinterp failed"
fi
