lustrec / _tags @ b38ffff3
History | View | Annotate | Download (769 Bytes)
1 |
"src": include |
---|---|
2 |
"src/backends/C": include |
3 |
"src/backends/Horn": include |
4 |
# OASIS_START |
5 |
# DO NOT EDIT (digest: df9189c6c6943133cb99a2bb11ba7f05) |
6 |
# Ignore VCS directories, you can use the same kind of rule outside |
7 |
# OASIS_START/STOP if you want to exclude directories that contains |
8 |
# useless stuff for the build process |
9 |
<**/.svn>: -traverse |
10 |
<**/.svn>: not_hygienic |
11 |
".bzr": -traverse |
12 |
".bzr": not_hygienic |
13 |
".hg": -traverse |
14 |
".hg": not_hygienic |
15 |
".git": -traverse |
16 |
".git": not_hygienic |
17 |
"_darcs": -traverse |
18 |
"_darcs": not_hygienic |
19 |
# Executable lustrec |
20 |
"src/main_lustre_compiler.native": pkg_ocamlgraph |
21 |
"src/main_lustre_compiler.native": pkg_str |
22 |
"src/main_lustre_compiler.native": pkg_unix |
23 |
<src/*.ml{,i}>: pkg_ocamlgraph |
24 |
<src/*.ml{,i}>: pkg_str |
25 |
<src/*.ml{,i}>: pkg_unix |
26 |
# OASIS_STOP |