#!/usr/local/bin/bash
if uname -a | grep [Ll]inux > /dev/null ; then
/usr/local/pub-bkb/njml/sml-110/bin/.run/run.x86-linux @SMLdebug=/dev/null @SMLload=/home/cofi/heaps/HOL.x86-linux
else  
  if uname -a | grep SunOS > /dev/null ; then
/usr/local/pub-bkb/njml/sml-110.0.6/bin/.run/run.sparc-solaris @SMLdebug=/dev/null @SMLload=/home/cofi/heaps/HOL.sparc-solaris
  else
    echo Sorry, no matching architecture found.
  fi  
fi

