forked from mirleft/ocaml-nocrypto
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy path_tags
26 lines (19 loc) · 712 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
true: color(always)
true: bin_annot, safe_string
true: warn(A-4-29-33-40-41-42-43-34-44-48)
true: package(bytes cstruct)
<src>: include
<src/*.ml{,i}>: package(zarith sexplib ppx_sexp_conv)
<src/*.cm{x,o}> and not <src/nocrypto.cmx>: for-pack(Nocrypto)
<src/*.cm{,x}a>: link_stubs(src/libnocrypto_stubs)
<unix>: include
<unix/*.ml{,i}>: package(unix bytes)
<lwt>: include
<lwt/*.ml{,i}>: package(lwt.unix cstruct.lwt)
<mirage>: include
<mirage/*.ml{,i}>: package(lwt mirage-entropy)
<**/*.c>: ccopt(-D_DEFAULT_SOURCE --std=c99 -Wall -Wextra -O3)
<**/aes_aesni.c>: ccopt(-Wno-implicit-fallthrough)
<bench/*>: use_nocrypto, package(zarith)
<tests/*>: use_nocrypto, package(zarith oUnit)
<rondom>: -traverse