Project

General

Profile

Revision 663e3554 src/_tags.in

View differences:

src/_tags.in
26 26
<**/main_lustre_compiler.native>: use_unix
27 27
<**/main_lustre_testgen.native> : use_unix
28 28
<**/sf_sem.native>              : use_unix
29
<**/*.native>                   : package(num)
29
<**/*>                          : package(num)
30 30
<**/*.ml>                       : package(logs)
31 31
<**/*.native>                   : package(logs)
32 32
<**/json_parser.ml>             : package(yojson)

Also available in: Unified diff