Merge commit 'ocaml3102'
[ocaml.git] / ocamlbuild / log.mli
blobee0c1b2dd2eaeab95d9fc614f5726a72fb9c63d9
1 (***********************************************************************)
2 (* ocamlbuild *)
3 (* *)
4 (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *)
5 (* *)
6 (* Copyright 2007 Institut National de Recherche en Informatique et *)
7 (* en Automatique. All rights reserved. This file is distributed *)
8 (* under the terms of the Q Public License version 1.0. *)
9 (* *)
10 (***********************************************************************)
12 (* $Id$ *)
13 (* Original author: Nicolas Pouillard *)
14 (* Log *)
16 (** Module for modulating the logging output with the logging level. *)
17 include Signatures.LOG
19 (** Turn it to true to have a classic display of commands. *)
20 val classic_display : bool ref
22 (** See {Display.event}. *)
23 val event : ?pretend:bool -> string -> string -> Tags.t -> unit
25 (**/**)
27 (** Initialize the Log module given a log file name. *)
28 val init : string option -> unit
30 val finish : ?how:[`Success|`Error|`Quiet] -> unit -> unit
31 val display : (out_channel -> unit) -> unit
32 val update : unit -> unit
33 val mode : string -> bool