source: extracted/build @ 2773

Last change on this file since 2773 was 2773, checked in by sacerdot, 8 years ago
  1. everything extracted again after all bugs in Matita's extraction have been fixed. No more need for manual patching
  2. new extraction after file reorganization (by James)
  • Property svn:executable set to *
File size: 278 bytes
[2773]3# The untrusted ones replace the extracted ones
4rm -f set_adt.mli
[2620]5# Uses a GNU sed extension
[2738]6for i in `ls *.ml untrusted/*.ml`; do basename $i | sed -e 's/\(.\)\(.*\)\.ml/\U\1\E\2/'; done > extracted.mlpack
7ocamlbuild -Is untrusted -cflag -g extracted.cmo
Note: See TracBrowser for help on using the repository browser.