-
Notifications
You must be signed in to change notification settings - Fork 27
Expand file tree
/
Copy path_tags
More file actions
24 lines (24 loc) · 740 Bytes
/
_tags
File metadata and controls
24 lines (24 loc) · 740 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
# OASIS_START
# DO NOT EDIT (digest: 4ee815926b6c3ab216f5d1fde6fc52cf)
# Ignore VCS directories, you can use the same kind of rule outside
# OASIS_START/STOP if you want to exclude directories that contains
# useless stuff for the build process
true: annot, bin_annot
<**/.svn>: -traverse
<**/.svn>: not_hygienic
".bzr": -traverse
".bzr": not_hygienic
".hg": -traverse
".hg": not_hygienic
".git": -traverse
".git": not_hygienic
"_darcs": -traverse
"_darcs": not_hygienic
# Executable sparrow
# Executable sparrow-vis
# Executable test
# OASIS_STOP
<src/*>: include
true: pkg_apron, pkg_apron.octMPQ, pkg_batteries, pkg_cil, pkg_cil.all-features
true: pkg_lymp, pkg_ocamlgraph, pkg_ppx_compare, pkg_ppx_compare, pkg_threads
true: pkg_yojson