Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / _tags @ 719f9992

History | View | Annotate | Download (699 Bytes)

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