USER_TARGET=libevercrypt.a
USER_CFLAGS=-Wno-unused
USER_C_FILES=Lib_PrintBuffer.c Lib_Memzero0.c Lib_RandomBuffer_System.c
ALL_C_FILES=Hacl_Hash_Base.c Hacl_Hash_Blake2.c Hacl_Hash_Blake2b_256.c Hacl_Hash_Blake2s_128.c Hacl_Hash_MD5.c Hacl_Hash_SHA1.c Hacl_Hash_SHA2.c Hacl_SHA3.c Hacl_Chacha20.c Hacl_Salsa20.c Hacl_Curve25519_51.c Hacl_Streaming.c Hacl_Ed25519.c Hacl_Poly1305_32.c Hacl_Poly1305_128.c Hacl_Poly1305_256.c Hacl_NaCl.c Hacl_P256.c Hacl_Frodo_KEM.c Hacl_Frodo640.c Hacl_Chacha20_Vec32.c Hacl_Frodo976.c Hacl_HMAC_Blake2s_128.c Hacl_HKDF_Blake2s_128.c Hacl_Frodo1344.c Hacl_Frodo64.c Hacl_HMAC_Blake2b_256.c Hacl_HKDF_Blake2b_256.c Hacl_EC_Ed25519.c Hacl_Chacha20_Vec128.c Hacl_Chacha20Poly1305_128.c Hacl_HMAC.c Hacl_HKDF.c Hacl_HMAC_DRBG.c Hacl_Curve25519_64.c Hacl_Chacha20Poly1305_32.c Hacl_Chacha20_Vec256.c Hacl_Chacha20Poly1305_256.c
ALL_H_FILES=Lib_RandomBuffer_System.h Lib_PrintBuffer.h Lib_Memzero0.h Hacl_Kremlib.h Hacl_Spec.h internal/Hacl_Spec.h Hacl_Impl_Blake2_Constants.h Hacl_Hash_Base.h Hacl_Hash_Blake2.h internal/Hacl_Hash_Blake2.h Hacl_Hash_Blake2b_256.h internal/Hacl_Hash_Blake2b_256.h Hacl_Hash_Blake2s_128.h internal/Hacl_Hash_Blake2s_128.h Hacl_Hash_MD5.h Hacl_Hash_SHA1.h internal/Hacl_Hash_SHA1.h Hacl_Hash_SHA2.h internal/Hacl_Hash_SHA2.h Hacl_SHA3.h Hacl_Chacha20.h internal/Hacl_Chacha20.h Hacl_Salsa20.h Hacl_Bignum25519_51.h Hacl_Curve25519_51.h internal/Hacl_Curve25519_51.h internal/Hacl_Streaming.h Hacl_Ed25519.h internal/Hacl_Ed25519.h Hacl_Poly1305_32.h Hacl_Poly1305_128.h internal/Hacl_Poly1305_128.h Hacl_Poly1305_256.h internal/Hacl_Poly1305_256.h Hacl_NaCl.h Hacl_P256.h Hacl_Frodo_KEM.h internal/Hacl_Frodo_KEM.h Hacl_IntTypes_Intrinsics.h Hacl_IntTypes_Intrinsics_128.h Hacl_Frodo640.h Hacl_Chacha20_Vec32.h Hacl_Frodo976.h Hacl_HMAC_Blake2s_128.h Hacl_HKDF_Blake2s_128.h Hacl_Frodo1344.h Hacl_Frodo64.h Hacl_HMAC_Blake2b_256.h Hacl_HKDF_Blake2b_256.h Hacl_EC_Ed25519.h TestLib.h Hacl_AES128.h Hacl_Chacha20_Vec128.h Hacl_Chacha20Poly1305_128.h Hacl_HMAC.h Hacl_HKDF.h Hacl_HMAC_DRBG.h Hacl_Curve25519_64.h Hacl_Chacha20Poly1305_32.h Hacl_Chacha20_Vec256.h Hacl_Chacha20Poly1305_256.h