source: extracted/build @ 2789

Last change on this file since 2789 was 2789, checked in by campbell, 8 years ago

Some changes to the driver to aid debugging.

  • Property svn:executable set to *
File size: 279 bytes
3# The untrusted ones replace the extracted ones
4rm -f set_adt.mli
5# Uses a GNU sed extension
6for i in `ls *.ml untrusted/*.ml`; do basename $i | sed -e 's/\(.\)\(.*\)\.ml/\U\1\E\2/'; done > extracted.mlpack
7ocamlbuild -Is untrusted -tag debug extracted.cmo
Note: See TracBrowser for help on using the repository browser.