Project

General

Profile

Revision 53206908 src/_tags

View differences:

src/_tags
1 1
"backends/C": include
2 2
"backends/Horn": include
3
"plugins/salsa": include
4
"plugins/scopes": include
3 5
<**/.svn>: -traverse
4 6
<**/.svn>: not_hygienic
5 7
"main_lustre_compiler.native": use_graph
6 8
"main_lustre_compiler.native": use_str
7 9
"main_lustre_compiler.native": use_unix
8
<*.ml{,i}>: use_graph
9
<*.ml{,i}>: use_str
10
<*.ml{,i}>: use_unix
10
"main_lustre_compiler.native": use_num, package(salsa)
11
#<*.ml{,i}>: package(salsa)
12
<**/*.cm?>: use_graph
13
#<*.ml{,i}>: use_str
14
#<*.ml{,i}>: use_unix
15
<**/*.cm?>: package(salsa)

Also available in: Unified diff