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