Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / log.ml @ 61df3cb9

History | View | Annotate | Download (1.11 KB)

1
(********************************************************************)
2
(*                                                                  *)
3
(*  The LustreC compiler toolset   /  The LustreC Development Team  *)
4
(*  Copyright 2012 -    --   ONERA - CNRS - INPT                    *)
5
(*                                                                  *)
6
(*  LustreC is free software, distributed WITHOUT ANY WARRANTY      *)
7
(*  under the terms of the GNU Lesser General Public License        *)
8
(*  version 2.1.                                                    *)
9
(*                                                                  *)
10
(********************************************************************)
11

    
12
let report ?(plugins="") ?(verbose_level=Options.verbose_level) ~level:level p =
13
  let plugins = if plugins = "" then plugins else plugins ^ " " in 
14
  if !verbose_level >= level then
15
  begin
16
    Format.eprintf "%s%t" plugins p;
17
  (* Removed the flush since it was breaking most open/close boxes *)
18
  (* Format.pp_print_flush Format.err_formatter () *)
19
  end
20

    
21
(* Local Variables: *)
22
(* compile-command:"make -C .." *)
23
(* End: *)
24