Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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