]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/blob - extracted/Makefile
Imported Upstream version 0.1
[pkg-cerco/acc-trusted.git] / extracted / Makefile
1 byte: pre
2         ocamlbuild -Is untrusted -tag debug extracted.cmo
3
4 opt: pre
5         ocamlbuild -Is untrusted -tag debug extracted.cmx
6 pre:
7         # The untrusted ones replace the extracted ones
8         rm -f set_adt.ml set_adt.mli
9         # Uses a GNU sed extension
10         for i in `ls *.ml untrusted/*.ml`; do basename $$i | sed -e 's/\(.\)\(.*\)\.ml/\U\1\E\2/'; done > extracted.mlpack
11         for i in `ls *.ml untrusted/*.ml`; do echo "<"$${i%%.ml}".cmx>: for-pack(Extracted)"; done > _tags
12
13
14 clean:
15         ocamlbuild -clean