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 |