if [ "$LIRK3_HOME" != "" ]; then echo "lirk3 envorinment already set up" else export LIRK3_HOME=`pwd` export ANT_HOME=$LIRK3_HOME/core/ant export PATH=$LIRK3_HOME/bin:$ANT_HOME/bin:$PATH echo "Done" fi