2018-05-04 21:10:30 +04:00
|
|
|
(library
|
2018-07-25 23:06:02 +04:00
|
|
|
(name hacl)
|
|
|
|
|
(public_name hacl)
|
|
|
|
|
(libraries bigstring ocplib-endian.bigstring zarith)
|
|
|
|
|
(c_names hacl_stubs
|
|
|
|
|
kremlib
|
|
|
|
|
FStar
|
|
|
|
|
Hacl_Policies
|
|
|
|
|
AEAD_Poly1305_64
|
|
|
|
|
Hacl_Chacha20
|
|
|
|
|
Hacl_Chacha20Poly1305
|
|
|
|
|
Hacl_Curve25519
|
|
|
|
|
Hacl_Ed25519
|
|
|
|
|
Hacl_Poly1305_32
|
|
|
|
|
Hacl_Poly1305_64
|
|
|
|
|
Hacl_SHA2_256
|
|
|
|
|
Hacl_SHA2_384
|
|
|
|
|
Hacl_SHA2_512
|
|
|
|
|
Hacl_HMAC_SHA2_256
|
|
|
|
|
Hacl_Salsa20
|
|
|
|
|
NaCl
|
|
|
|
|
Hacl_Unverified_Random)
|
|
|
|
|
(c_flags (:include c_flags.sexp))
|
|
|
|
|
)
|
2018-06-06 01:40:15 +04:00
|
|
|
|
|
|
|
|
; sets flags for 32/64 bits architectures
|
|
|
|
|
(rule
|
2018-07-25 23:06:02 +04:00
|
|
|
(targets c_flags.sexp)
|
|
|
|
|
(action (run %{exe:config/discover.exe} -ocamlc %{ocamlc})))
|
