path: root/scripts/soltest.sh

#!/usr/bin/env bash

set -e

REPO_ROOT="$(dirname "$0")"/..
USE_DEBUGGER=0
DEBUGGER="gdb --args"
BOOST_OPTIONS=
SOLTEST_OPTIONS=

while [ $# -gt 0 ]
do
    case "$1" in
        --debugger)
            shift
            DEBUGGER="$1"
            USE_DEBUGGER=1
            ;;
        --debug)
            USE_DEBUGGER=1
            ;;
        --boost-options)
            shift
            BOOST_OPTIONS="${BOOST_OPTIONS} $1"
            ;;
        -t)
            shift
            BOOST_OPTIONS="${BOOST_OPTIONS} -t $1"
            ;;
        --show-progress | -p)
            BOOST_OPTIONS="${BOOST_OPTIONS} $1"
            ;;
        *)
            SOLTEST_OPTIONS="${SOLTEST_OPTIONS} $1"
            ;;
    esac
    shift
done
if [ "$USE_DEBUGGER" -ne "0" ]; then
    DEBUG_PREFIX=${DEBUGGER}
fi

exec ${DEBUG_PREFIX} ${REPO_ROOT}/build/test/soltest ${BOOST_OPTIONS} -- --testpath ${REPO_ROOT}/test ${SOLTEST_OPTIONS}