Project

General

Profile

Revision 690196d8 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
70 70
	begin
71 71
	  Log.report ~level:1 (fun fmt -> fprintf fmt ".. generating compiled header file %s@," header_name);
72 72
       	  Lusic.write_lusic false (Lusic.extract_header dirname basename prog) destname lusic_ext;
73
(*List.iter (fun top_decl -> Format.eprintf "lusic: %a@." Printers.pp_decl top_decl) lusic.Lusic.contents;*)
73
	  (*List.iter (fun top_decl -> Format.eprintf "lusic: %a@." Printers.pp_decl top_decl) lusic.Lusic.contents;*)
74 74
	  Lusic.print_lusic_to_h destname lusic_ext
75 75
	end
76 76
      else
......
155 155

  
156 156
  (* Compatibility with Lusi *)
157 157
  (* Checking the existence of a lusi (Lustre Interface file) *)
158
  match !Options.output with
158
  (match !Options.output with
159 159
    "C" ->
160 160
      begin
161 161
        let extension = ".lusi" in
162 162
        compile_source_to_header prog computed_types_env computed_clocks_env dirname basename extension;
163 163
      end
164
   |_ -> ();
164
   |_ -> ());
165 165

  
166 166
  Typing.uneval_prog_generics prog;
167 167
  Clock_calculus.uneval_prog_generics prog;

Also available in: Unified diff