BASEDIR=$(cd "$(dirname "$0")"; pwd) HOME_DIR="$(dirname "$BASEDIR")" LD_LIBRARY_PATH=${HOME_DIR}/lib LD_LIBRARY_PATH=${HOME_DIR}/cudd/cudd/.libs:$LD_LIBRARY_PATH source ${HOME_DIR}/include/scripts/parameters.sh #JAVA_DIR=/home/qyuan/jdk1.8.0_45 export LD_LIBRARY_PATH #echo $JAVAC_DIR #echo $LD_LIBRARY_PATH $JAVAC_DIR/java -Djava.library.path=$HOME_DIR/lib -cp .:$HOME_DIR/assa.jar:$HOME_DIR/assa_lib/* -jar $HOME_DIR/assa.jar $HOME_DIR