if [ "$MARK2_HOME" != "" ]; then
	echo "mark2 envorinment already set up"
else
	home_possibly_relative=`dirname $BASH_SOURCE[0]`
	export MARK2_HOME="`cd $home_possibly_relative && pwd`"
	export PATH=$MARK2_HOME/bin:$PATH
fi