Revision d7b73fed src/main_lustre_compiler.ml
| src/main_lustre_compiler.ml | ||
|---|---|---|
| 268 | 268 |
|
| 269 | 269 |
if !Options.optimization >= 2 then |
| 270 | 270 |
begin |
| 271 |
Log.report ~level:2 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@,"
|
|
| 271 |
Log.report ~level:3 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@,"
|
|
| 272 | 272 |
(Utils.fprintf_list ~sep:"@ " Machine_code.pp_machine) |
| 273 | 273 |
machine_code); |
| 274 | 274 |
end; |
| 275 | 275 |
|
| 276 |
Log.report ~level:3 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," |
|
| 277 |
(Utils.fprintf_list ~sep:"@ " Machine_code.pp_machine) |
|
| 278 |
machine_code); |
|
| 279 |
|
|
| 280 | 276 |
(* Printing code *) |
| 281 | 277 |
let basename = Filename.basename basename in |
| 282 | 278 |
let destname = !Options.dest_dir ^ "/" ^ basename in |
Also available in: Unified diff