Project

General

Profile

Revision 49d92bf8 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
18 18
 
19 19
exception StopPhase1 of program
20 20

  
21
let usage = "Usage: lustrec [options] \x1b[4msource file\x1b[0m"
21
let usage = "Usage: lustrec [options] \x1b[4msource-file\x1b[0m"
22 22

  
23 23
let extensions = [".ec"; ".lus"; ".lusi"]
24 24

  
......
356 356
    with StopPhase1 prog -> (
357 357
      if !Options.lusi then
358 358
	begin
359
	  let lusi_ext = "lusi" (* extension ^ "i" *) in
359
	  let lusi_ext = ".lusi" (* extension ^ "i" *) in
360 360
	  Log.report ~level:1 (fun fmt -> fprintf fmt ".. generating interface file %s@," (dirname ^ "/" ^ basename ^ lusi_ext));
361 361
	  print_lusi prog dirname basename lusi_ext;
362 362
	  Log.report ~level:1 (fun fmt -> fprintf fmt ".. done !@ @]@.");

Also available in: Unified diff