Project

General

Profile

« Previous | Next » 

Revision 1954d776

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

Cleaner configure autoconf script

View differences:

src/plugins.ml
1 1
open LustreSpec
2 2

  
3
let plugins =
4
  [
5
    (module Scopes.Plugin : PluginType.PluginType);
6
    (module Salsa_plugin.Plugin : PluginType.PluginType)
7
  ]
3
open PluginList
8 4

  
9 5

  
10 6
let options () = 

Also available in: Unified diff