Revision 3209838a
Added by Pierre-Loïc Garoche over 5 years ago
| 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
configure.ac