diff options
Diffstat (limited to 'ocamlbuild/log.mli')
| -rw-r--r-- | ocamlbuild/log.mli | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/ocamlbuild/log.mli b/ocamlbuild/log.mli new file mode 100644 index 000000000..8fbb1da7c --- /dev/null +++ b/ocamlbuild/log.mli @@ -0,0 +1,34 @@ +(***********************************************************************) +(* ocamlbuild *) +(* *) +(* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) +(* *) +(* Copyright 2007 Institut National de Recherche en Informatique et *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) +(* *) +(***********************************************************************) + +(* $Id$ *) +(* Original author: Nicolas Pouillard *) +(* Log *) + +(** Module for modulating the logging output with the logging level. *) +include Signatures.LOG + +(** Turn it to true to have a classic display of commands. *) +val classic_display : bool ref + +(** The optional log file. *) +val log_file : string option Lazy.t ref + +(** See {Display.event}. *) +val event : ?pretend:bool -> string -> string -> Tags.t -> unit + +(**/**) + +val internal_display : Display.display Lazy.t +val finish : ?how:[`Success|`Error|`Quiet] -> unit -> unit +val display : (out_channel -> unit) -> unit +val update : unit -> unit +val mode : string -> bool |