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 -jar $HOME_DIR/assa.jar $parentdir
