Project

General

Profile

« Previous | Next » 

Revision f69e7ea2

Added by LĂ©lio Brun 9 months ago

add -O -1 flag to disable fusion of conditionals

View differences:

src/main_lustre_compiler.ml
57 57
  let params = Backends.get_normalization_params () in
58 58

  
59 59
  let prog, dependencies = 
60
    Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v 2>.. Phase 1 : Normalisation@,");
60
    Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v 2>.. Phase 1: Normalisation@,");
61 61
    try 
62 62
      Compiler_stages.stage1 params prog dirname basename extension
63 63
    with Compiler_stages.StopPhase1 prog -> (
......
124 124
      else
125 125
	ok, ext)
126 126
    (false, "") extensions in
127
  if ok_ext then
127
  if ok_ext then begin
128
    Options_management.setup();
128 129
    let dirname = Filename.dirname filename in
129 130
    let basename = Filename.chop_suffix (Filename.basename filename) ext in
130 131
    compile dirname basename ext
131
  else
132
  end else
132 133
    raise (Arg.Bad ("Can only compile *.lusi, *.lus or *.ec files"))
133 134

  
134 135
let _ =

Also available in: Unified diff