#!/bin/sh

set -e
for filev in testsuite/*.v; do
	cp $filev $AUTOPKGTEST_TMP/check.v
	coqc -R /usr/lib/ocaml/coq/user-contrib/Interval Interval $AUTOPKGTEST_TMP/check.v
done
