File: examples

package info (click to toggle)

coquelicot 3.4.3-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