#! /bin/sh
# $Header: /tmp_mnt/usr/src/local/imps/src/RCS/imps.sh,v 1.5 91/01/08 09:55:14 farmer Exp $

# Runs T after setting IMPS source environment variables.
# If the environment variable IMPS is not set, it defaults to ".".

IMPS=${IMPS-`pwd`};			export IMPS
PATH=$PATH:$IMPS/../bin:$IMPS/../bin/`arch`;	export PATH
IMPS_TMP=/tmp;				export IMPS_TMP
EXPRESSIONS=$IMPS/expressions;		export EXPRESSIONS
PRESENTATION=$IMPS/presentation;	export PRESENTATION
SUBSTITUTION=$IMPS/substitution;	export SUBSTITUTION
INFERENCES=$IMPS/inferences;		export INFERENCES
THEORIES=$IMPS/theories;		export THEORIES
GENERIC_THEORIES=$THEORIES/generic-theories;	export GENERIC_THEORIES
THEORY_MECHANISM=$IMPS/theory-mechanism export THEORY_MECHANISM
TRANSLATIONS=$IMPS/translations;	export TRANSLATIONS
THEORY_INFERENCE=$IMPS/theory-inference;export THEORY_INFERENCE
REALS=$THEORIES/reals;			export REALS
MISC_EXAMPLES=$IMPS/misc-examples;	export MISC_EXAMPLES
RESOURCES=$IMPS/resources;		export RESOURCES
PROOFS=$IMPS/proofs;			export PROOFS
GROUPS=$THEORIES/groups;  		export GROUPS
METRIC_SPACES=$THEORIES/metric-spaces;  export METRIC_SPACES
NORMED_SPACES=$THEORIES/normed-spaces;  export NORMED_SPACES
PARTIAL_ORDERS=$THEORIES/partial-orders; export PARTIAL_ORDERS
ALGEBRA=$THEORIES/algebra;              export ALGEBRA
CARDINALITY=$THEORIES/cardinality;      export CARDINALITY
SEMANTICS=$THEORIES/denotational-semantics; export SEMANTICS
IMPS_SYSTEM_SPECS=$IMPS/imps-system-specs; export IMPS_SYSTEM_SPECS
LC=$IMPS/lambda-calculus;		export LC

exec "$@"
