Project

General

Profile

« Previous | Next » 

Revision 9735491b

Added by Pierre-Loïc Garoche 5 months ago

only requires seal package for lustrev

View differences:

configure.ac
83 83 
)
84 84 
AS_IF([test "x$seal" = "xyes"], [
85 85 
   AC_SUBST(LUSTREV_SEAL, "(module Seal_verifier.Verifier : VerifierType.S);")
86 
   AC_SUBST(LUSTREV_SEAL_TAG, "<**/*>: package(seal)")
86 
   AC_SUBST(LUSTREV_SEAL_TAG, "<**/*verifier.native>: package(seal)")
87 87 
])
88 88 

  		




  89
  89
  
    
# Tiny


  		












  

    
      src/_tags.in
    
  





  37
  37
  
    
<**/*verifier.native> or <**/*.ml{,i}> : package(yojson)


  		




  38
  38
  
    
<**/*verifier.native>: thread


  		




  39
  39
  
    

  		




  40
  
  
    
<**/*.native>                   : use_str


  		




  
  40
  
    
#<**/*.native>                   : use_str


  		




  41
  41
  
    
<**/main_lustre_compiler.native>: package(unix)


  		




  42
  42
  
    
<**/main_lustre_testgen.native> : package(unix)


  		




  43
  43
  
    
<**/main_lustre_verifier.native> : package(unix)


  		












Also available in:  Unified diff