Project

General

Profile

Download (547 Bytes) Statistics
| Branch: | Tag: | Revision:
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 92aa8330 Ploc
"main_lustre_compiler.native": package(ocamlgraph)
9 bed8ea64 ploc
"main_lustre_compiler.native": use_str
10
"main_lustre_compiler.native": use_unix
11 5cd53307 ploc
#"main_lustre_compiler.native": use_num
12
"main_lustre_compiler.native": package(salsa)
13 ca88e660 Ploc
14
#<*.ml{,i}>: package(ocamlgraph)
15 53206908 xthirioux
#<*.ml{,i}>: package(salsa)
16 5cd53307 ploc
<**/*.cm?>: package(ocamlgraph)
17 53206908 xthirioux
#<*.ml{,i}>: use_str
18
#<*.ml{,i}>: use_unix
19
<**/*.cm?>: package(salsa)