Project

General

Profile

Revision 1e48ef45 _tags

View differences:

_tags
1 1
"src": include
2 2
"src/backends/C": include
3 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 4
<**/.svn>: -traverse
10 5
<**/.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
6
"src/main_lustre_compiler.native": use_graph
7
"src/main_lustre_compiler.native": use_str
8
"src/main_lustre_compiler.native": use_unix
9
<src/*.ml{,i}>: use_graph
10
<src/*.ml{,i}>: use_str
11
<src/*.ml{,i}>: use_unix

Also available in: Unified diff