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