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