Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (531 Bytes)

1 37419cf4 ploc
(* Backend-specific options *)
2
let join_guards = ref true
3
4
let setup s =
5
  match s with
6 1bff14ac ploc
  | "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 37419cf4 ploc
  | _ -> ()
15 1bff14ac ploc
16
(* Local Variables: *)
17
(* compile-command: "make -k -C .." *)
18
(* End: *)