Project

General

Profile

« Previous | Next » 

Revision 9735491b

Added by Pierre-Loïc Garoche 5 months ago

only requires seal package for lustrev

View differences:

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