Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / _tags.in @ efb6eb15

History | View | Annotate | Download (841 Bytes)

1
# general config
2
true: bin_annot, color(always)
3

    
4
# paths to sources
5
"backends": include
6
"backends/C": include
7
"backends/Horn": include
8
"backends/EMF": include
9
"plugins/salsa": include
10
"plugins/scopes": include
11
"plugins/mpfr": include
12
"tools/stateflow": include
13
"tools/stateflow/common": include
14
"tools/stateflow/semantics": include
15
"tools/stateflow/models": include
16
"tools/stateflow/parser-json": include
17

    
18
<**/.svn>: -traverse
19
<**/.svn>: not_hygienic
20

    
21
# packages
22
<**/*.native>        : package(ocamlgraph)
23
<**/*.native>        : use_str
24
<**/*.native>        : use_unix
25
<**/*.native>        : package(num)
26
<**/parser_json.ml>  : package(yojson)
27
<**/main_with_json.*>: package(yojson)
28

    
29
# Required for ocamldoc. Otherwise failed to build
30
<*.ml{,i}>: package(ocamlgraph)
31

    
32
# Plugin dependencies
33
@SALSA_TAG@
34

    
35
# Local Variables:
36
# mode: conf
37
# End: