Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / log.ml @ 0d79d0f3

History | View | Annotate | Download (1.1 KB)

1 a2d97a3e ploc
(********************************************************************)
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 22fe1c93 ploc
12 7c8a7647 ploc
let report ?plugin:(modulename="") ~level:level p =
13 22fe1c93 ploc
if !Options.verbose_level >= level then
14 690196d8 xthirioux
  begin
15 7c8a7647 ploc
    if modulename="" then
16
      Format.eprintf "%t" p
17
    else
18
      Format.eprintf "[%s] @[%t@]" modulename p
19 521e2a6b ploc
  (* Removed the flush since it was breaking most open/close boxes *)
20
  (* Format.pp_print_flush Format.err_formatter () *)
21 690196d8 xthirioux
  end
22 22fe1c93 ploc
23
(* Local Variables: *)
24
(* compile-command:"make -C .." *)
25
(* End: *)