#!/bin/bash
if uname -a | grep [Ll]inux > /dev/null ; then
   if [ -f "HOL99.x86-linux" ]; then
     ../cats/.run-linux @SMLdebug=/dev/null @SMLload=HOL99.x86-linux
   else
   wget http://www.tzi.de/cofi/heaps/HOL99.x86-linux.gz
   echo Uncompressing ...
   gunzip HOL99.x86-linux.gz
   ../cats/.run-linux @SMLdebug=/dev/null @SMLload=HOL99.x86-linux
   fi
else  
  if uname -a | grep SunOS > /dev/null ; then
     if [ -f "HOL99.sparc-solaris" ]; then
	../cats/.run-solaris @SMLdebug=/dev/null @SMLload=HOL99.sparc-solaris
     else
     wget http://www.tzi.de/cofi/heaps/HOL99.sparc-solaris.gz
     echo Uncompressing ...
     gunzip HOL99.sparc-solaris.gz
     ../cats/.run-solaris @SMLdebug=/dev/null @SMLload=HOL99.sparc-solaris 
     fi
  else
    echo Sorry, no matching architecture found.
  fi  
fi

