Project

General

Profile

Revision 59020713 src/compiler_stages.ml

View differences:

src/compiler_stages.ml
188 188
  Log.report ~level:1 (fun fmt -> fprintf fmt ".. normalization@,");
189 189
  let prog = Normalization.normalize_prog params prog in
190 190
  Log.report ~level:2 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Printers.pp_prog prog);
191

  
191
  
192 192
  (* Compatibility with Lusi *)
193 193
  (* If compiling a lusi, generate the lusic. If this is a lus file, Check the existence of a lusi (Lustre Interface file) *)
194 194
  compile_source_to_header
195 195
    prog !Global.type_env !Global.clock_env dirname basename extension;
196 196

  
197

  
197 198
  let prog =
198 199
    if !Options.mpfr
199 200
    then

Also available in: Unified diff