#!/bin/sh
#
# A simple shell script to invoke the silent O'Hugs interpreter and set 
# the path to the prelude file.
#
# Mark P. Jones, 1996.  Derived from the corresponding script for Gofer
# which was written by Mark Jones and edited by Jonathan Bowen, Oxford
# University, August 1993.
#
# Slightly edited by Johan Nordlander, 1999.

# Location of O'Hugs files - site specific
ROOT=`dirname $0`
INSTLIB=XX_INSTLIB

# The default O'Hugs search path:
OHUGSPATH=${OHUGSPATH-$ROOT/lib:$ROOT/libhugs:$INSTLIB/lib:$INSTLIB/libhugs}
export OHUGSPATH

# Preferred command line argument settings:
OHUGSARGS=${OHUGSARGS-""}

# Avoid dependencies on this peculiar variable:
LD_LIBRARY_PATH=
export LD_LIBRARY_PATH

# Finally, start the interpreter running:
if [ -x $ROOT/src/rohugs ]; then
  EXE=$ROOT/src/rohugs
else
  EXE=$INSTLIB/rohugs
fi
exec $EXE $OHUGSARGS "$@"