Project

General

Profile

« Previous | Next » 

Revision 3209838a

Added by Pierre-Loïc Garoche almost 3 years ago

configure.ac

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