#!/bin/sh # wrapper script for smlnj # make executable and place in your path PATH=/opt/smlnj/bin:$PATH export PATH export SMLNJ_HOME=/opt/smlnj exec "$@"