source: driver/extracted/build @ 3088

Last change on this file since 3088 was 3088, checked in by sacerdot, 8 years ago

We now also generate the package for native code.

  • Property svn:executable set to *
File size: 391 bytes
Line 
1#!/bin/sh
2
3# The untrusted ones replace the extracted ones
4rm -f set_adt.ml set_adt.mli
5# Uses a GNU sed extension
6for i in `ls *.ml untrusted/*.ml`; do basename $i | sed -e 's/\(.\)\(.*\)\.ml/\U\1\E\2/'; done > extracted.mlpack
7for i in `ls *.ml untrusted/*.ml`; do echo "<"${i%%.ml}".cmx>: for-pack(Extracted)"; done > _tags
8ocamlbuild -Is untrusted -tag debug extracted.cmo extracted.cmx
Note: See TracBrowser for help on using the repository browser.