Revision e275249d
Added by Xavier Thirioux over 9 years ago
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
- corrected a regression bug in main_lustre_compiler.ml (optional generation of lusic files was in a bad ocaml pattern-matching rule...)
- added a flush in Log to help find out the exact phase when the compiler crashes or stops silently