| 29 |
29 |
(* Main *)
|
| 30 |
30 |
|
| 31 |
31 |
let options = [
|
|
32 |
"-verbose", Arg.Set_int Options.verbose_level, "changes verbose \x1b[4mlevel\x1b[0m <default: 1>";
|
| 32 |
33 |
"-model", Arg.String set_model, "model in {simple, stopwatch} (default: simple)";
|
| 33 |
34 |
(* "-eval", Arg.Int set_trace_run_mode, "execute the model on trace <int>"; *)
|
| 34 |
35 |
(* "-eval-mode", Arg.String set_eval_mode, "select evaluator: cps"; *)
|
| ... | ... | |
| 73 |
74 |
Options.print_dec_types := true;
|
| 74 |
75 |
Format.printf "%a@." Printers.pp_prog prog;
|
| 75 |
76 |
|
| 76 |
|
let prog, deps = Main_lustre_compiler.stage1 prog "" "" in
|
| 77 |
|
|
|
77 |
let auto_file = "sf_gen_test_auto.lus" in (* Could be changed *)
|
|
78 |
let auto_out = open_out auto_file in
|
|
79 |
let auto_fmt = Format.formatter_of_out_channel auto_out in
|
|
80 |
Format.fprintf auto_fmt "%a@." Printers.pp_prog prog;
|
| 78 |
81 |
|
|
82 |
let prog, deps = Compiler_stages.stage1 prog "" "" in
|
|
83 |
|
|
84 |
|
| 79 |
85 |
(* (\* Importing source *\) *)
|
| 80 |
86 |
(* let _ = Modules.load_program Utils.ISet.empty prog in *)
|
| 81 |
87 |
|
| ... | ... | |
| 89 |
95 |
(* (\* Clock calculus *\) *)
|
| 90 |
96 |
(* let computed_clocks_env = Compiler_common.clock_decls clock_env prog in *)
|
| 91 |
97 |
|
| 92 |
|
Format.printf "%a@." Printers.pp_prog prog
|
|
98 |
Format.printf "%a@." Printers.pp_prog prog;
|
|
99 |
let noauto_file = "sf_gen_test_noauto.lus" in (* Could be changed *)
|
|
100 |
let noauto_out = open_out noauto_file in
|
|
101 |
let noauto_fmt = Format.formatter_of_out_channel noauto_out in
|
|
102 |
Format.fprintf noauto_fmt "%a@." Printers.pp_prog prog
|
| 93 |
103 |
|
| 94 |
104 |
|
| 95 |
105 |
|
|
106 |
(* Local Variables: *)
|
|
107 |
(* compile-command: "make -C ../.. lustresf" *)
|
|
108 |
(* End: *)
|
[lustresf] Some progress: automaton compiles but not when preprocessed