#!/bin/sh
 
# This script sets PLTHOME if it isn't set already
 
if [ "$PLTHOME" = '' ] ; then
  PLTHOME=/usr/local/lib/plt-53
fi

exec ${PLTHOME}/bin/mzscheme -mqve '(require-library "start.ss" "compiler")' -- ${1+"$@"}
