File: examples

package info (click to toggle)

coq-stdpp 1.11.0-1

file content (7 lines) | stat: -rw-r--r-- 108 bytes

#!/bin/sh -e

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