if uname -a | grep [Ll]inux > /dev/null ; then 
    $HOL_CASL_HOME/run-x86-linux @SMLdebug=/dev/null @SMLload=$HOL_CASL_HOME/HOL-CASL.x86-linux
else
  if uname -a | grep SunOS > /dev/null ; then     
    $HOL_CASL_HOME/run-sparc-solaris @SMLdebug=/dev/null @SMLload=$HOL_CASL_HOME/HOL-CASL.sparc-solaris
  else
      echo Sorry, no matching architecture found.
	    fi
	fi    

