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