]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/blob - extracted/build
Imported Upstream version 0.1
[pkg-cerco/acc-trusted.git] / extracted / build
1 #!/bin/sh
2
3 # The untrusted ones replace the extracted ones
4 rm -f set_adt.ml set_adt.mli
5 # Uses a GNU sed extension
6 for i in `ls *.ml untrusted/*.ml`; do basename $i | sed -e 's/\(.\)\(.*\)\.ml/\U\1\E\2/'; done > extracted.mlpack
7 ocamlbuild -Is untrusted -tag debug extracted.cmo