Project

General

Profile

Revision 61df3cb9 src/plugins/salsa/salsa_plugin.ml

View differences:

src/plugins/salsa/salsa_plugin.ml
5 5
    (* "-salsa", Arg.Set salsa_enabled, "activate Salsa optimization <default>"; *)
6 6
    (* "-no-salsa", Arg.Clear salsa_enabled, "deactivate Salsa optimization"; *)
7 7

  
8

  
8
  
9
  
9 10
module Plugin =
10 11
(struct
11 12
  include PluginType.Default
......
13 14
  
14 15
  let options = [
15 16
        "-debug", Arg.Set SalsaDatatypes.debug, "debug salsa plugin";
17
        "-verbose", Arg.Set_int Salsa.Log.verbose_level, "salsa plugin verbose level (default is 0)";
16 18
        "-slice-depth", Arg.Set_int Salsa.Prelude.sliceSize, "salsa slice depth (default is 5)";
17 19
        "-disable", Arg.Clear salsa_enabled, "disable salsa";
18 20
    ]
19 21

  
20
  let activate () = salsa_enabled := true
21

  
22
  let activate () =
23
    salsa_enabled := true
24
    
25
  let init () =
26
    if !salsa_enabled then
27
      if  !SalsaDatatypes.debug then
28
        Salsa.Log.debug := true
29
  
22 30
  let refine_machine_code prog machine_code = 
23 31
    if !salsa_enabled then
24 32
      begin

Also available in: Unified diff