#!/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