#!/bin/bash
#Edit/comment/uncomment if needed
#NATDIR="/home/myhome/src/nat"
NATDIR="."
JAVA="java";
CLASSPATH=${NATDIR}/:${NATDIR}/lib/jeuclid-core-3.1.9.jar:${NATDIR}/lib/jeuclid-fop-3.1.9.jar:${NATDIR}/lib/saxon9.jar:${NATDIR}/lib/saxon9he.jar:${NATDIR}/lib/saxon9-dom.jar:${NATDIR}/lib/xercesImpl-2.9.1.jar:${NATDIR}/lib/log4j-1.2.14.jar:${NATDIR}/lib/jing.jar:${NATDIR}/lib/jazzy.jar:${NATDIR}/lib/fop_and_libs.jar:${NATDIR}/lib/commons-io-1.4.jar:${NATDIR}/lib/jodconverter-2.2.2.jar:${NATDIR}/lib/jurt-3.0.1.jar:${NATDIR}/lib/slf4j-api-1.5.6.jar:${NATDIR}/lib/unoil-3.0.1.jar:${NATDIR}/lib/juh-3.0.1.jar:${NATDIR}/lib/ridl-3.0.1.jar:${NATDIR}/lib/slf4j-jdk14-1.5.6.jar:${NATDIR}/lib/xstream-1.3.1.jar:${NATDIR}/lib/jhall.jar
CMD="$JAVA -Xss30000k -Xmx100m -Djava.net.preferIPv4Stack=true -classpath $CLASSPATH nat/Nat $*"
$CMD
exit;
|