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