Revision 684d39e7 src/compiler_stages.ml
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