- corrected a regression bug in main_lustre_compiler.ml (optional generation...

 - corrected a regression bug in main_lustre_compiler.ml (optional generation of lusic files was in a bad ocaml pattern-matching rule...)
 - added a flush in Log to help find out the exact phase when the compiler crashes or stops silently 


git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@456 041b043f-8d7c-46b2-b46e-ef0dd855326e

src/log.ml

@@ -11,7 +11,10 @@
 
 let report ~level:level p =
 if !Options.verbose_level >= level then
-  Format.eprintf "%t" p
+  begin
+    Format.eprintf "%t" p;
+    Format.pp_print_flush Format.err_formatter ()
+  end
 
 (* Local Variables: *)
 (* compile-command:"make -C .." *)

src/main_lustre_compiler.ml

@@ -70,7 +70,7 @@ let compile_source_to_header prog computed_types_env computed_clocks_env dirname
 	begin
 	  Log.report ~level:1 (fun fmt -> fprintf fmt ".. generating compiled header file %s@," header_name);
        	  Lusic.write_lusic false (Lusic.extract_header dirname basename prog) destname lusic_ext;
-(*List.iter (fun top_decl -> Format.eprintf "lusic: %a@." Printers.pp_decl top_decl) lusic.Lusic.contents;*)
+	  (*List.iter (fun top_decl -> Format.eprintf "lusic: %a@." Printers.pp_decl top_decl) lusic.Lusic.contents;*)
 	  Lusic.print_lusic_to_h destname lusic_ext
 	end
       else
@@ -155,13 +155,13 @@ let rec compile_source dirname basename extension =
 
   (* Compatibility with Lusi *)
   (* Checking the existence of a lusi (Lustre Interface file) *)
-  match !Options.output with
+  (match !Options.output with
     "C" ->
       begin
         let extension = ".lusi" in
         compile_source_to_header prog computed_types_env computed_clocks_env dirname basename extension;
       end
-   |_ -> ();
+   |_ -> ());
 
   Typing.uneval_prog_generics prog;
   Clock_calculus.uneval_prog_generics prog;