#!/bin/sh
if [ -f `dirname $0`/.run-linux ]; then
  `dirname $0`/.run-linux @SMLload=`dirname $0`/casl.x86-linux $* @SMLdebug=/dev/null
else  
  `dirname $0`/.run-solaris @SMLload=`dirname $0`/casl.sparc-solaris $* @SMLdebug=/dev/null
fi