Project

General

Profile

Revision 5fccce23 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
42 42
  begin
43 43
    Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v>");
44 44
    let header = parse_header true (dirname ^ "/" ^ header_name) in
45
    ignore (Modules.load ~is_header:true ISet.empty header);
45
    (* Disbaled today, should be done anyway when following the regular compilation 
46
ignore (Modules.load ~is_header:true ISet.empty header); *)
46 47
    ignore (check_top_decls header); (* typing/clocking with an empty env *)
47 48
    create_dest_dir ();
48 49
    Log.report ~level:1
49 50
      (fun fmt -> fprintf fmt ".. generating compiled header file %sc@," (destname ^ extension));
50 51
    Lusic.write_lusic true header destname lusic_ext;
51 52
    generate_lusic_header destname lusic_ext;
53

  
54

  
55

  
52 56
    Log.report ~level:1 (fun fmt -> fprintf fmt ".. done !@ @]@ ")
53 57
  end
54 58

  

Also available in: Unified diff