]> matita.cs.unibo.it Git - helm.git/blob - helm/software/ocamlbuild.sh
...
[helm.git] / helm / software / ocamlbuild.sh
1 ocamlbuild components/syntax_extensions/pa_unicode_macro.cma
2 ocamlbuild -j 4 matita/matita.native