From bd72205f6e95bd471c13dcf74476d44b40e9a56d Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 3 Sep 2013 19:23:45 -0700 Subject: [PATCH] run.sh: sync up with model-checker improvements --- run.sh | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/run.sh b/run.sh index a14aea3..7f554e7 100755 --- a/run.sh +++ b/run.sh @@ -11,15 +11,18 @@ # default program. # -BIN=./barrier/barrier +# Get the directory in which this script is located +BINDIR="${0%/*}" + +BIN=${BINDIR}/barrier/barrier PREFIX= -export LD_LIBRARY_PATH=.. +export LD_LIBRARY_PATH=${BINDIR}/.. # For Mac OSX -export DYLD_LIBRARY_PATH=.. +export DYLD_LIBRARY_PATH=${BINDIR}/.. [ $# -gt 0 ] && [ "$1" = "gdb" ] && PREFIX=gdb && shift -[ $# -gt 0 ] && [ -x "$1" ] && [ -f "$1" ] && BIN="$1" && shift +[ $# -gt 0 ] && [ -e "$1" ] && BIN="$1" && shift -set -x +set -xe $PREFIX $BIN $@ -- 2.34.1