Changeset 3088 for driver/extracted

Timestamp:

Apr 4, 2013, 11:16:49 AM (8 years ago)

Author:

sacerdot

Message:

We now also generate the package for native code.

File:

• driver/extracted/build (modified) (1 diff)

driver/extracted/build

@@ -5 +5 @@
 # Uses a GNU sed extension
 for i in `ls *.ml untrusted/*.ml`; do basename $i | sed -e 's/\(.\)\(.*\)\.ml/\U\1\E\2/'; done > extracted.mlpack
-ocamlbuild -Is untrusted -tag debug extracted.cmo
+for i in `ls *.ml untrusted/*.ml`; do echo "<"${i%%.ml}".cmx>: for-pack(Extracted)"; done > _tags
+ocamlbuild -Is untrusted -tag debug extracted.cmo extracted.cmx