|
1
|
"src": include
|
|
2
|
"src/backends/C": include
|
|
3
|
"src/backends/Horn": include
|
|
4
|
# OASIS_START
|
|
5
|
# DO NOT EDIT (digest: 98bcbc21d29d2f6266238c1025fff223)
|
|
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
|