Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / backends.ml @ 1bff14ac

History | View | Annotate | Download (531 Bytes)

1
(* Backend-specific options *)
2
let join_guards = ref true
3

    
4
let setup s =
5
  match s with
6
  | "emf" ->
7
     join_guards := false; (* 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 *)
14
  | _ -> ()
15

    
16
(* Local Variables: *)
17
(* compile-command: "make -k -C .." *)
18
(* End: *)