dev_env

#
# dev_env: set up environment for ProofPower development:
#
# Build directory:
#
DIR=${PPDIR:-$HOME/git/pp}
BLD=$DIR/bld
#
# Pick up versions of Poly/ML, SML/NJ, MLton and ProofPower:
# Note that MLton is only relevant to the dev package: hol
# zed and daz will only build on Poly/ML and SML/NJ
# The compilers are assumed to be installed in /usr/local/<name>/<version>
# where <name> is one of poly, smlnj, mlton or pp.
# We assume latest is a link to a default version to use.
# No harm is done if you don't have all these directories.
#
polyVER=${POLYVER:-latest}
smlnjVER=${SMLNJVER:-latest}
mltonVER=${MLTONVER:-latest}
ppVER=${PPVER:-latest}
#
# Clear relevant enviroment variabls
#
unset PPENVDEBUG
unset PPCOMPILER
unset PPHOME
unset TEXINPUTS
unset BIBINPUTS
unset BSTINPUTS
unset PPDATABASEPATH
unset PPCOMPACT
unset PPETCPATH
unset PPTARGETDIR
unset XUSERFILESEARCHPATH
#
# Path:
#
PATH=/bin:/usr/bin:/usr/sbin:/usr/X11R6/bin
LOCPATH=\
"$BLD"/bin:\
/usr/local/pp/$ppVER/bin:\
/usr/local/poly/$polyVER/bin:\
/usr/local/smlnj/$smlnjVER/bin:\
/usr/local/mlton/$mltonVER/bin:\
/usr/local/bin
OPTPATH=/opt/local/bin:/opt/local/sbin
export PATH=.:$HOME/bin:$LOCPATH:$PATH:$OPTPATH
#
# Man path:
#
MANPATH=/usr/local/pp/$ppVER/man:/usr/local/man:/opt/local/share/man:
#
# Use Poly/ML to build ProofPower for preference:
#
export PPCOMPILER=POLYML
#
export PPVER=3.1.`whoami`.`date +%Y%m%d`
export PPHOME="$BLD"
export PPTARGETDIR="$BLD"
export PPDATABASEPATH=.:"$BLD"/db
export PPETCPATH=.:"$BLD"/etc
#
# The following is for xpp - use Motif from the MacPorts installation
#
export USERCFLAGS=-I/opt/local/include
export USERCLIBS=-L/opt/local/lib
#
# TeX, LaTeX etc.
#
export TEXINPUTS=.:$BLD/tex:
export BIBINPUTS=.:$BLD/tex:
export BSTINPUTS=.:$BLD/tex:
#
# Use plain ASCII for sort order etc.
#
export LC_ALL=C
#
# Tidy up shell namespace:
#
unset DIR BLD polyVER smlnjVER mltonVER ppVER LOCPATH OPTPATH
#
# Report on what we have done:
#
env | egrep ^PP | sort