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) |