#!/bin/bash
#
# The following settings are system defaults. They can be (re-)defined
# in a system wide profile or in a user's profile.

# set default version
: ${PMODULES_VERSION:=@PMODULES_VERSION@}

declare -x PMODULES_ROOT=$(cd $(dirname "${BASH_SOURCE}")/.. && pwd)
declare -x PMODULES_HOME="${PMODULES_ROOT}/Tools/Pmodules/${PMODULES_VERSION}"

test -r "${PMODULES_HOME}/init/bash" && source "$_"

if [[ $? != 0 ]]; then
	echo "Oops: cannot initialize Pmodules!"
	return 1
fi

# Local Variables:
# mode: sh
# sh-basic-offset: 8
# tab-width: 8
# End: