Merge tag 'upstream/0.1'

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

diff --git a/extracted/Makefile b/extracted/Makefile
new file mode 100755 (executable)
index 0000000..3673895
--- /dev/null
+++ b/extracted/Makefile
@@ -0,0 +1,15 @@
+byte: pre
+       ocamlbuild -Is untrusted -tag debug extracted.cmo
+
+opt: pre
+       ocamlbuild -Is untrusted -tag debug extracted.cmx
+pre:
+       # 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
+
+
+clean:
+       ocamlbuild -clean