#!/bin/sh

set -e

testdir=$(mktemp -d)
trap "rm -rf ${testdir}" 0 INT QUIT ABRT PIPE TERM

cp -r "$(dirname "$0")/../../tests" "${testdir}/tests"
cd "${testdir}/tests"

dune build @runtest --verbose

echo "test: OK"
