log facility, initial environment for basic_rg

[helm.git] / helm / software / lambda-delta / toplevel / top.ml

diff --git a/helm/software/lambda-delta/toplevel/top.ml b/helm/software/lambda-delta/toplevel/top.ml
index 27f40026e543dc3db1d83fcf3a1b327ea2d57816..1442d7521e2584546076ecb8d590a23e25a0e5f3 100644 (file)
--- a/helm/software/lambda-delta/toplevel/top.ml
+++ b/helm/software/lambda-delta/toplevel/top.ml
@@ -9,6 +9,8 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
+module P    = Printf
+module L    = Log
 module AO   = AutOutput
 module MA   = MetaAut
 module MO   = MetaOutput
@@ -40,7 +42,7 @@ let main =
    let stage = ref 2 in
    let meta_file = ref None in
    let set_summary i = summary := i in
-   let print_version () = print_endline version_string; exit 0 in
+   let print_version () = L.warn version_string; exit 0 in
    let set_stage i = stage := i in
    let close = function
       | None          -> ()
@@ -56,7 +58,7 @@ let main =
    let read_file name =
       if !summary > 0 then Time.gmtime version_string;      
       if !summary > 1 then
-         Printf.printf "Processing file: %s\n" name; flush stdout;
+         L.warn (P.sprintf "Processing file: %s" name);
       if !summary > 0 then Time.utime_stamp "started";
       let ich = open_in name in
       let lexbuf = Lexing.from_channel ich in