Merge tag 'upstream/0.1'

[pkg-cerco/acc-trusted.git] / extracted / build

diff --git a/extracted/build b/extracted/build
index aafcb8b6e363ee03b3359a08aa2bb4ad29680602..228201f8ca36efbe0fc0d36a2ed0f6d22c2ca6e7 100755 (executable)
--- a/extracted/build
+++ b/extracted/build
@@ -4,4 +4,5 @@
 rm -f set_adt.ml set_adt.mli
 # 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