typo
[model-checker-benchmarks.git] / run.sh
1 #!/bin/sh
2 #
3 # Runs a simple test (default: ./barrier/barrier)
4 # Syntax:
5 #  ./run.sh [test program] [OPTIONS]
6 #  ./run.sh [OPTIONS]
7 #  ./run.sh [gdb [test program]]
8 #
9 # If you include a 'gdb' argument, the your program will be launched with gdb.
10 # You can also supply a test program argument to run something besides the
11 # default program.
12 #
13
14 # Get the directory in which this script is located
15 BINDIR="${0%/*}"
16
17 BIN=${BINDIR}/barrier/barrier
18 PREFIX=
19
20 export LD_LIBRARY_PATH=${BINDIR}/..
21 # For Mac OSX
22 export DYLD_LIBRARY_PATH=${BINDIR}/..
23
24 [ $# -gt 0 ] && [ "$1" = "gdb" ] && PREFIX=gdb && shift
25 [ $# -gt 0 ] && [ -e "$1" ] && BIN="$1" && shift
26
27 set -xe
28 $PREFIX $BIN $@