#!/bin/sh
#	simple redirection script to find the correct executable
#	for this machine architecture
#	(also ensures that hi's config is identical to hmake)
SCRIPTDIR=${SCRIPTDIR-/home/fernan/w/nhc98-1.20/script}
HMAKEDIR=${HMAKEDIR-/home/fernan/w/nhc98-1.20/lib}
HMAKECONFDIR=${HMAKECONFDIR-/home/fernan/w/nhc98-1.20/lib}
MACHINE=${MACHINE-"`$SCRIPTDIR/harch`"}
INSTALLVER="3.13 (2006-11-01)"
export MACHINE INSTALLVER HMAKEDIR HMAKECONFDIR SCRIPTDIR

if [ ! -d $HMAKEDIR/$MACHINE ]
then
  echo "`basename $0` is not installed/configured for $MACHINE."
  echo "  See your system administrator, or install it yourself from"
  echo "  http://www.cs.york.ac.uk/fp/hmake/"
  exit 1
fi

case $MACHINE in
  ix86-CYGWIN*) CYGSHELL=`cygpath -w $SHELL | tr "\\\\\\\\" "/"`
                export CYGSHELL;;
esac

# Now let's get started.
exec $HMAKEDIR/$MACHINE/HInteractive $@