#!/bin/sh

set -e

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

cp "$(dirname "$0")/../../example"/* "${testdir}"

cd "${testdir}"

cat <<'EOF' > qcheck-example.opam
opam-version: "1.2"
name: "qcheck-examples"
version: "0"
depends: ["qcheck" "oUnit"]
EOF


for test in QCheck_test.exe QCheck_ounit_test.exe QCheck_runner_test.exe
do
	jbuilder build $test

	if [ -x "_build/default/$test" ]; then
		echo "built $test"
	else 
		echo "$test does not exist"
		exit 1
	fi
done
