Project

General

Profile

« Previous | Next » 

Revision 673bf87c

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

Num module for mli

View differences:

src/_tags.in
30 30 
<**/main_lustre_compiler.native>: use_unix
31 31 
<**/main_lustre_testgen.native> : use_unix
32 32 
<**/sf_sem.native>              : use_unix
33 
<**/*.ml>                       : package(num)
34 33 
<**/*.native>                   : package(num)
35 34 
<**/*.ml>                       : package(logs)
36 35 
<**/*.native>                   : package(logs)
......
46 45 

  		




  47
  46
  
    
# Required for ocamldoc. Otherwise failed to build


  		




  48
  47
  
    
<**/*.ml{,i}>: package(ocamlgraph)


  		




  
  48
  
    
<**/*.ml{,i}>: package(num)


  		




  49
  49
  
    

  		




  50
  50
  
    
# Plugin dependencies


  		




  51
  51
  
    
@SALSA_TAG@


  		












Also available in:  Unified diff