#!/bin/sh -e

cp -r examples/* $AUTOPKGTEST_TMP
cd $AUTOPKGTEST_TMP
for vfile in *.v; do
  coqc $vfile
done
