Project

General

Profile

Revision 18acb6fc src/_tags.in

View differences:

src/_tags.in
1
# general config
2
true: bin_annot, color(always)
3

  
4
# paths to sources
1 5
"backends": include
2 6
"backends/C": include
3 7
"backends/Horn": include
......
14 18
<**/.svn>: -traverse
15 19
<**/.svn>: not_hygienic
16 20

  
21
# packages
17 22
<**/*.native>: package(ocamlgraph)
18 23
<**/*.native>: use_str
19 24
<**/*.native>: use_unix
......
27 32

  
28 33
# Plugin dependencies
29 34
@SALSA_TAG@
35

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

Also available in: Unified diff