source: extracted/build @ 2731

Last change on this file since 2731 was 2731, checked in by sacerdot, 8 years ago

Minimal set of axioms implemented to make the driver run.

  • Property svn:executable set to *
File size: 139 bytes
3# Uses a GNU sed extension
4ls *.ml | sed -e 's/\(.\)\(.*\)\.ml/\U\1\E\2/' > extracted.mlpack
5ocamlbuild -cflag -g extracted.cmo
Note: See TracBrowser for help on using the repository browser.