Project

General

Profile

« Previous | Next » 

Revision 151117f7

Added by Pierre-Loïc Garoche about 6 years ago

Homogenizing the API for salsa and its use within the plugin

View differences:

src/plugins/salsa/salsa_plugin.ml
13 13
  
14 14
  let options = [
15 15
        "-debug", Arg.Set SalsaDatatypes.debug, "debug salsa plugin";
16
        "-slice-depth", Arg.Set_int Salsa.Prelude.sliceSize, "salsa slice depth (default is 5)";
16 17
      ]
17 18

  
18 19
  let activate () = salsa_enabled := true

Also available in: Unified diff