Project

General

Profile

Revision ef8a361a src/backends/backends.ml

View differences:

src/backends/backends.ml
3 3

  
4 4
let setup () =
5 5
  match !Options.output with
6
  (* | "emf" -> *)
7
  (*    join_guards := true; (\* guards should not be joined, in order to have only *)
8
  (* 			      if c then x = e1 else x = e2 to ease *)
9
  (* 			      reconstruction of flows. *\) *)
10
  (*   Options.optimization := 0; (\* Optimization=0 prevents expression *)
11
  (* 				  elimination. This simplifies largely the *)
12
  (* 				  association of lustre expression to *)
13
  (* 				  instructions *\) *)
6
  | "emf" ->
7
     (* In case of a default "int" type, substitute it with the legal int32 value *)
8
     if !Options.int_type = "int" then
9
       Options.int_type := "int32"
14 10
  | _ -> ()
15 11

  
16 12
let is_functional () = 
......
18 14
  | "horn" | "lustre" | "acsl" | "emf" -> true
19 15
  | _ -> false
20 16

  
21
  
17

  
22 18
(* Local Variables: *)
23 19
(* compile-command: "make -k -C .." *)
24 20
(* End: *)

Also available in: Unified diff