Changeset 2773 for extracted/build


Ignore:
Timestamp:
Mar 4, 2013, 10:03:33 AM (8 years ago)
Author:
sacerdot
Message:
  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)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/build

    r2738 r2773  
    11#!/bin/sh
    22
     3# The untrusted ones replace the extracted ones
     4rm -f set_adt.ml set_adt.mli
    35# Uses a GNU sed extension
    46for i in `ls *.ml untrusted/*.ml`; do basename $i | sed -e 's/\(.\)\(.*\)\.ml/\U\1\E\2/'; done > extracted.mlpack
Note: See TracChangeset for help on using the changeset viewer.