Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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)