#!/bin/sh


reldir=`dirname $(readlink -f $0)`
echo reldir is $reldir
originaldir=`pwd`
old_ld_library_path=$LD_LIBRARY_PATH


export LD_LIBRARY_PATH=$reldir/../lib/gmp/lib:$reldir/../lib/cvc3/64bit/lib:$originaldir/$reldir/../lib/gmp/lib:$originaldir/$reldir/../lib/cvc3/64bit/lib:$LD_LIBRARY_PATH

java -classpath .:$reldir/../lib/TASS.jar:$reldir/../lib/antlr-runtime-3.1.3.jar:$reldir/../lib/cvc3/64bit/java/libcvc3.jar: -d64 -Djava.library.path=$reldir/../lib/cvc3/64bit/lib -Dtass.library.path=$reldir/../lib/TASS edu.udel.cis.vsl.tass.TASS $*
		


export LD_LIBRARY_PATH=$old_ld_library_path
