#!/bin/sh -e

cp test-suite/*.v $AUTOPKGTEST_TMP
cd $AUTOPKGTEST_TMP

coqc Parametricity.v
for vfile in *.v; do
 coqc $vfile
done
