Merge tag 'upstream/0.1'

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

diff --git a/extracted/build b/extracted/build
deleted file mode 100755 (executable)
index 228201f..0000000
--- a/extracted/build
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/sh
-
-# The untrusted ones replace the extracted ones
-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
-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