Project

General

Profile

Revision ad4774b0 src/_tags.in

View differences:

src/_tags.in
10 10
"plugins/scopes": include
11 11
"plugins/mpfr": include
12 12
"features/machine_types": include
13
"tools": include
13 14
"tools/stateflow": include
14 15
"tools/stateflow/common": include
15 16
"tools/stateflow/semantics": include
......
23 24
# packages
24 25
<**/*.native>                   : package(ocamlgraph)
25 26
<**/*.native>                   : use_str
26
<**/main_lustre_compiler.native>: use_unix
27
<**/main_lustre_testgen.native> : use_unix
28
<**/sf_sem.native>              : use_unix
27
<**/*.native>                   : use_unix
29 28
<**/*.native>                   : package(num)
30 29
<**/*.ml>                       : package(logs)
31 30
<**/*.native>                   : package(logs)
......
45 44
# Plugin dependencies
46 45
@SALSA_TAG@
47 46

  
47
# Available solvers
48
@LUSTREV_SEAL_TAG@
49
@LUSTREV_TINY_TAG@
50
@LUSTREV_Z3_TAG@
51

  
48 52
# Local Variables:
49 53
# mode: conf
50 54
# End:

Also available in: Unified diff