Project

General

Profile

Revision 684d39e7 src/compiler_stages.ml

View differences:

src/compiler_stages.ml
143 143

  
144 144
  (* Creating destination directory if needed *)
145 145
  create_dest_dir ();
146

  
147
  (* Compatibility with Lusi *)
148
  (* If compiling a lusi, generate the lusic. If this is a lus file, Check the existence of a lusi (Lustre Interface file) *)
149
  compile_source_to_header
150
    prog !Global.type_env !Global.clock_env dirname basename extension;
151
 
152
    
146
     
153 147
  Typing.uneval_prog_generics prog;
154 148
  Clock_calculus.uneval_prog_generics prog;
155 149

  
......
195 189
  let prog = Normalization.normalize_prog params prog in
196 190
  Log.report ~level:2 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Printers.pp_prog prog);
197 191

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

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

Also available in: Unified diff