#! /bin/echo This file must be sourced not exece'd

export CORAL_HOME="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
export PATH=$PATH:${CORAL_HOME}