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

Also available in: Unified diff