# sh mk-mycppo generates the script mycppo
# Usage: sh mycppo input.v.cppo output.v

COQVER=$(coqc -print-version)
COQVER=${COQVER%% *}
printf "cppo -V OCAML:$(ocamlc -version) -V COQ:$COQVER -n \$1 -o \$2" > mycppo
