#!/bin/sh

# get the absolute path of the executable
SELF_PATH=$(cd -P -- "$(dirname -- "$0")" && pwd -P) && SELF_PATH=$SELF_PATH/$(basename -- "$0")

# resolve symlinks
while [ -h $SELF_PATH ]; do
    # 1) cd to directory of the symlink
    # 2) cd to the directory of where the symlink points
    # 3) get the pwd
    # 4) append the basename
    DIR=$(dirname -- "$SELF_PATH")
    SYM=$(readlink $SELF_PATH)
    SELF_PATH=$(cd $DIR && cd $(dirname -- "$SYM") && pwd)/$(basename -- "$SYM")
done

#reldir=`dirname $0 || readlink`
reldir=$SELF_PATH/..
#echo reldir is $reldir
originaldir=`pwd`
old_ld_library_path=$DYLD_FALLBACK_LIBRARY_PATH

export DYLD_FALLBACK_LIBRARY_PATH=$reldir/../lib/gmp/64bit/lib:$reldir/../lib/cvc3/64bit/lib:$originaldir/$reldir/../lib/gmp/64bit/lib:$originaldir/$reldir/../lib/cvc3/64bit/lib:$DYLD_FALLBACK_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 edu.udel.cis.vsl.tass.TASS $*

export DYLD_FALLBACK_LIBRARY_PATH=$old_ld_library_path
