Project

General

Profile

Revision f0195e96 src/_tags.in

View differences:

src/_tags.in
25 25
"tools/stateflow/json-parser": include
26 26
"tools/importer": include
27 27
"tools/seal": include
28
"tools/tiny": include
28 29

  
29 30
# svn
30 31
<**/.svn>: -traverse
......
36 37
<**/*verifier.native> or <**/*.ml{,i}> : package(yojson)
37 38

  
38 39
<**/*.native>                   : use_str
39
<**/main_lustre_compiler.native>: use_unix
40
<**/main_lustre_testgen.native> : use_unix
41
<**/main_lustre_verifier.native> : use_unix
42
<**/sf_sem.native>              : use_unix
40
<**/main_lustre_compiler.native>: package(unix)
41
<**/main_lustre_testgen.native> : package(unix)
42
<**/main_lustre_verifier.native> : package(unix)
43
<**/sf_sem.native>              : package(unix)
43 44
<**/*>                          : package(num)
45
<**/*>                          : package(zarith)
44 46
<**/*.ml>                       : package(logs)
45 47
<**/*.native>                   : package(logs)
46 48
<**/json_parser.ml>             : package(yojson)

Also available in: Unified diff