27 lines
819 B
Plaintext
27 lines
819 B
Plaintext
|
(jbuild_version 1)
|
||
|
|
|
||
|
|
(library
|
||
|
|
((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 (-O3 -Wall -Werror -Wfatal-errors))
|
||
|
|
))
|