Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / _tags @ 53206908

History | View | Annotate | Download (438 Bytes)

1 bed8ea64 ploc
"backends/C": include
2
"backends/Horn": include
3 53206908 xthirioux
"plugins/salsa": include
4
"plugins/scopes": include
5 bed8ea64 ploc
<**/.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 53206908 xthirioux
"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)