Project

General

Profile

Revision a6df3992 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
90 90

  
91 91
let functional_backend () = 
92 92
  match !Options.output with
93
  | "horn" | "lustre" | "acsl" -> true
93
  | "horn" | "lustre" | "emf" | "acsl" -> true
94 94
  | _ -> false
95 95

  
96 96
(* From prog to prog *)
......
369 369
       (*	Lustre_backend.translate fmt basename normalized_prog machine_code *)
370 370
       ()
371 371
     end
372
  | "emf" ->
373
     begin
374
       let destname = !Options.dest_dir ^ "/" ^ basename in
375
       let source_file = destname ^ ".emf" in (* Could be changed *)
376
       let source_out = open_out source_file in
377
       let fmt = formatter_of_out_channel source_out in
378
       EMF_backend.translate fmt prog;
379
       ()
380
     end
372 381

  
373 382
  | _ -> assert false
374 383

  

Also available in: Unified diff