output/run.sh

   1 #!/bin/sh
   2 #
   3 # Runs a simple test (default: ./test/userprog.o)
   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 and the binaries are located
  15 #BINDIR="${0%/*}"
  16 BINDIR=${HOME}/model-checker-priv/model-checker-priv
  17
  18 BIN=${BINDIR}/test/userprog.o
  19 PREFIX=
  20
  21 export LD_LIBRARY_PATH=${BINDIR}
  22 # For Mac OSX
  23 export DYLD_LIBRARY_PATH=${BINDIR}
  24
  25 [ $# -gt 0 ] && [ "$1" = "gdb" ] && PREFIX=gdb && shift
  26 [ $# -gt 0 ] && [ -e "$1" ] && BIN="$1" && shift
  27
  28 set -xe
  29 $PREFIX $BIN $@