source: extracted/build @ 2746

Last change on this file since 2746 was 2738, checked in by sacerdot, 7 years ago

Porting the graph colouring stuff from the untrusted prototype to the extracted

  • Property svn:executable set to *
File size: 201 bytes
3# Uses a GNU sed extension
[2738]4for i in `ls *.ml untrusted/*.ml`; do basename $i | sed -e 's/\(.\)\(.*\)\.ml/\U\1\E\2/'; done > extracted.mlpack
5ocamlbuild -Is untrusted -cflag -g extracted.cmo
Note: See TracBrowser for help on using the repository browser.