#! /bin/bash
# echo "setpaths.bash -- version J. Stolfi"
# Last edited on 2009-10-09 21:03:26 by stolfilocal

# Assumes the following environment variables have been set:
#    $ARCH, $OS, $HOSTNAME, $PLATFORM
# Sets $PATH (and path), $MANPATH, $LD_LIBRARY_PATH,
# and the package locations: $GNU_PUB, etc.

# === SEARCH PATHS =======================================================

# Add my program directories to the front of the search path:

mypath=".:../tools:../../tools:../../../tools:../../../../tools:${STOLFIHOME}/bin/${PLATFORM}:${STOLFIHOME}/bin"

export PATH="${mypath}:${PATH}"

# MANPATH is the search path for manual pages. 
# Since it overrides the default, we must provide the default as well.
mymanpath="${STOLFIHOME}/man/${PLATFORM}:${STOLFIHOME}/man"
if [[ -z "${MANPATH}" ]]; then
  export MANPATH="/usr/kerberos/man:/usr/local/share/man:/usr/share/man:/usr/man"
fi
export MANPATH="${mymanpath}:${MANPATH}"

# LD_LIBRARY_PATH is used in some systems to look for ".so" files.
# It does not override the systems library, so we do not need to provide them. 
myldpath="${STOLFIHOME}/lib/${PLATFORM}"
if [[ -z "${LD_LIBRARY_PATH}" ]]; then
  export LD_LIBRARY_PATH="${myldpath}:${LD_LIBRARY_PATH}"
else
  export LD_LIBRARY_PATH="${myldpath}"
fi

export TEXINPUTS=".:${STOLFIHOME}/tex/inputs:"