path: root/contrib/extraction/test/bench

#!/bin/sh
../../../bin/coqtop.byte -batch -load-vernac-source ../Extraction.v -load-vernac-source ./bench.v
ocamlc -c -i polylist.ml
ocamlc -c -i zarith.ml
ocamlc -c -i even.ml