source: extracted/build @ 2968

Last change on this file since 2968 was 2789, checked in by campbell, 7 years ago

Some changes to the driver to aid debugging.

  • Property svn:executable set to *
File size: 279 bytes
RevLine 
[2620]1#!/bin/sh
2
[2773]3# The untrusted ones replace the extracted ones
4rm -f set_adt.ml set_adt.mli
[2620]5# Uses a GNU sed extension
[2738]6for i in `ls *.ml untrusted/*.ml`; do basename $i | sed -e 's/\(.\)\(.*\)\.ml/\U\1\E\2/'; done > extracted.mlpack
[2789]7ocamlbuild -Is untrusted -tag debug extracted.cmo
Note: See TracBrowser for help on using the repository browser.