Source

calcoq / compile.sh

1
2
3
4
5
6
#!/bin/sh
sed s/::text:://g index.template | sed s/::result:://g > index.html
coqc main.v
ocamlopt -c coqMain.mli coqMain.ml
ocamlopt nums.cmxa str.cmxa util.ml coqMain.ml reader.ml parser.ml main.ml -o index.cgi
rm *.cmx *.cmi *.o *.vo