Revision 94c457b7
Added by Pierre-Loïc Garoche over 6 years ago
| src/plugins/salsa/salsa_plugin.ml | ||
|---|---|---|
| 12 | 12 |
let name = "salsa" |
| 13 | 13 |
|
| 14 | 14 |
let options = [ |
| 15 |
|
|
| 16 |
] |
|
| 15 |
"-debug", Arg.Set SalsaDatatypes.debug, "debug salsa plugin"; |
|
| 16 |
]
|
|
| 17 | 17 |
|
| 18 | 18 |
let activate () = salsa_enabled := true |
| 19 | 19 |
|
Also available in: Unified diff
Updated Salsa plugin to latest version of Salsa.
Some issues wrt machine type features.
Work in progress