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