#!/bin/sh -e

COQTOP=/net/pauillac/constr/V5.8 export COQTOP
COQTH=$COQTOP/THEORIES export COQTH

if test ! -r $HOME/.coqrc ; then
	echo "Humpf! I can't find a .coqrc in your home directory"
	cat $COQTOP/LIB/coq.motd
fi

test -n "${ARCH=`arch`}" || (echo ARCH not defined; exit 1)
export ARCH
DIR=$COQTOP/RELEASED/$ARCH
OPT=""
COQCOMM="$DIR/coq.out"
COQARGS=""
while test "" != "$1"; do
	case $1 in
        -image) COQCOMM="$2";shift;;
		-x) COQCOMM="$DIR/xcoq.out";;
		*) COQARGS="$COQARGS $1";;
	esac;
	shift
done
COQ="$COQCOMM -I \$COQTOP/RELEASED/\$ARCH -I \$COQTOP/THEORIES/SYSTEM -I \$COQTOP/THEORIES/ARITH -is state $COQARGS"

exec $COQ

