#!/bin/sh
#
# A simple shell script to invoke the 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.

# Location of Hugs files - site specific
ROOT=/usr/local/Hugs

# The default Hugs search path:
HUGSPATH=${HUGSPATH-$ROOT/lib:$ROOT/libhugs}
export HUGSPATH

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

# The next few lines try to guess a suitable setting for the EDITLINE
# variable.  If your favourite editor is not dealt with here, or if
# the version of sh that I'm using is incompatible with every other
# shell out there, you may need to modify (or remove) this section:
#
EDIT=${EDITOR-vi}
case `basename $EDIT` in
    emacs | vi | elvis | vim )  EDITLINE="$EDIT +%d %s";;
    none                     )  ;;
    *                        )  EDITLINE=$EDIT;;
esac

HUGSEDIT=${HUGSEDIT-$EDITLINE}
export HUGSEDIT

# Finally, start the interpreter running:
exec $ROOT/bin/hugs $HUGSARGS $*