lustrec / src / _tags @ 53206908
History | View | Annotate | Download (438 Bytes)
1 |
"backends/C": include |
---|---|
2 |
"backends/Horn": include |
3 |
"plugins/salsa": include |
4 |
"plugins/scopes": include |
5 |
<**/.svn>: -traverse |
6 |
<**/.svn>: not_hygienic |
7 |
"main_lustre_compiler.native": use_graph |
8 |
"main_lustre_compiler.native": use_str |
9 |
"main_lustre_compiler.native": 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) |