Changeset 2738 for extracted/build


Ignore:
Timestamp:
Feb 27, 2013, 2:03:12 PM (7 years ago)
Author:
sacerdot
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/build

    r2731 r2738  
    22
    33# Uses a GNU sed extension
    4 ls *.ml | sed -e 's/\(.\)\(.*\)\.ml/\U\1\E\2/' > extracted.mlpack
    5 ocamlbuild -cflag -g extracted.cmo
     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 TracChangeset for help on using the changeset viewer.