Project

General

Profile

« Previous | Next » 

Revision 3bd83542

Added by Pierre-Loïc Garoche over 4 years ago

Remove dep

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, "<**/*>: package(seal)")
87 87 
])
88 88 

  		




  89
  89
  
    
# z3 (optional)


  		












Also available in:  Unified diff