-
Notifications
You must be signed in to change notification settings - Fork 0
/
_tags
31 lines (28 loc) · 778 Bytes
/
_tags
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
true : bin_annot, safe_string, keep_locs
true : package(unix)
# true : package(landmarks.ppx,landmarks)
<B0d> : -traverse
<_b0> : not_hygienic
<_boot_b0> : not_hygienic
<_boot> : not_hygienic
<src-std> : include
<src-std/b0_std.{cma,cmxa}> : record_b0_stubs
<src-std/b0_std.cmxs> : link_b0_stubs
<src-lib> : include
<src-driver> : include
<src-driver/**> : package(cmdliner)
<src-care> : include
<src-b0> : include
<src-b0/**> : package(cmdliner)
<src-d0> : include
<src-d0/**> : package(cmdliner)
<src-exe> : include
<src-exe/**> : package(cmdliner)
<src-exe/bzero*> : use_b0_stubs
<src-exe/dzero*> : use_b0_stubs
<src-exe/bzsize*> : use_b0_stubs
<test> : include
<test/**> : not_hygienic, use_b0_stubs
<perf> : -traverse
<examples> : -traverse
<examples/**> : not_hygienic