#!/bin/sh
SMLNJ_HOME=/opt/local/share/smlnj /opt/local/share/smlnj/bin/`basename $0` $*
