Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / _tags.in @ 18acb6fc

History | View | Annotate | Download (801 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

    
27
# for JSON parser: really dirty, to be cleaned
28
true: package(yojson)
29

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

    
33
# Plugin dependencies
34
@SALSA_TAG@
35

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