#! /bin/sh
#This file is part of the GP2C package
#
#This stupid shell script is Public Domain.
#

if test ! -f scripts/gp2c-run; then
cat <<EOF 1>&2
Package has not been configured.
Please type
./configure
to configure it.
EOF
exit 1;
fi
GP2C=./gp2c exec scripts/gp2c-run "$@"
