3 SCRIPT
="${BASH_SOURCE[0]}"
4 while [ -L "$SCRIPT" ] ; do SCRIPT
=`(readlink "$SCRIPT")` ; done
6 ROOT
=`(cd \`dirname "$SCRIPT"\
` > /dev/null 2>&1 ; pwd)`
7 MAXIMA_PREFIX
=$ROOT/maxima
/
10 PATH
="$MAXIMA_PREFIX/bin:$PATH"
13 exec "$MAXIMA_PREFIX/bin/maxima" "$1" "$2" "$3" "$3" "$4" "$5" "$6" "$7" "$8" "$9"