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