#!/bin/csh -f

setenv EXTBENCH $COQTOP/THEORIES/Bench

cd $EXTBENCH

/bin/rm -f *ml

cd $COQTOP

./coql < $EXTBENCH/BenchCoq

cd $EXTBENCH

camlc -c Heap_proof.ml Heap_prog.ml
camlc -c Mergesort_proof.ml Mergesort_prog.ml
camlc -c Quick_proof.ml Quick_prog.ml
camlc -c Euclid_proof.ml Euclid_prog.ml

cp BenchZinc BenchZinc.ml
echo 'include "BenchZinc";;' | camllight

chmod g+w *ml

