USER_TARGET=libevercrypt.a
USER_CFLAGS=-std=c89 -Wno-typedef-redefinition -Wno-unused
USER_C_FILES=evercrypt_vale_stubs.c Lib_PrintBuffer.c Lib_Memzero0.c Lib_RandomBuffer_System.c
ALL_C_FILES=Hacl_Spec.c 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 Vale.c EverCrypt_AutoConfig2.c EverCrypt_Hash.c Hacl_SHA3.c Hacl_Chacha20.c Hacl_Salsa20.c Hacl_Bignum.c Hacl_Curve25519_64_Slow.c Hacl_Curve25519_64.c Hacl_Curve25519_51.c Hacl_Streaming_SHA2.c Hacl_Ed25519.c Hacl_Poly1305_32.c Hacl_Poly1305_128.c Hacl_Poly1305_256.c Hacl_NaCl.c EverCrypt_Error.c EverCrypt_CTR.c Hacl_P256.c Hacl_Frodo_KEM.c Hacl_RSAPSS.c Hacl_FFDHE.c Hacl_Streaming_Blake2.c Hacl_Streaming_Blake2b_256.c Hacl_Frodo640.c Hacl_Streaming_Blake2s_128.c Hacl_Chacha20_Vec128.c Hacl_Chacha20Poly1305_128.c Hacl_HMAC.c Hacl_HKDF.c Hacl_HPKE_Curve51_CP128_SHA512.c Hacl_GenericField32.c Hacl_Bignum256.c Hacl_SHA2_Vec256.c Hacl_Bignum4096.c Hacl_Chacha20_Vec32.c EverCrypt_Ed25519.c Hacl_Bignum4096_32.c Hacl_HPKE_Curve64_CP128_SHA512.c Hacl_HPKE_P256_CP128_SHA256.c Hacl_Chacha20_Vec256.c Hacl_Chacha20Poly1305_256.c Hacl_HPKE_Curve51_CP256_SHA512.c Hacl_SHA2_Scalar32.c Hacl_Frodo976.c Hacl_HMAC_Blake2s_128.c Hacl_HKDF_Blake2s_128.c Hacl_GenericField64.c Hacl_Streaming_Poly1305_256.c Hacl_Frodo1344.c Hacl_HPKE_Curve64_CP256_SHA512.c Hacl_Streaming_Poly1305_128.c Hacl_Bignum32.c Hacl_HPKE_Curve51_CP128_SHA256.c Hacl_HPKE_Curve64_CP128_SHA256.c Hacl_Bignum256_32.c Hacl_SHA2_Vec128.c Hacl_Chacha20Poly1305_32.c Hacl_HPKE_Curve51_CP32_SHA256.c Hacl_HPKE_Curve64_CP256_SHA256.c Hacl_Streaming_Poly1305_32.c Hacl_HPKE_Curve51_CP32_SHA512.c Hacl_HPKE_P256_CP256_SHA256.c Hacl_HPKE_P256_CP32_SHA256.c Hacl_Bignum64.c Hacl_Frodo64.c Hacl_Streaming_SHA1.c Hacl_Streaming_MD5.c Hacl_HMAC_Blake2b_256.c Hacl_HKDF_Blake2b_256.c Hacl_HPKE_Curve64_CP32_SHA256.c Hacl_HPKE_Curve64_CP32_SHA512.c Hacl_EC_Ed25519.c Hacl_HPKE_Curve51_CP256_SHA256.c EverCrypt_Chacha20Poly1305.c EverCrypt_AEAD.c EverCrypt_HMAC.c EverCrypt_HKDF.c Hacl_HMAC_DRBG.c EverCrypt_DRBG.c EverCrypt_Poly1305.c EverCrypt_Curve25519.c EverCrypt_Cipher.c EverCrypt_StaticConfig.c
ALL_H_FILES=Lib_RandomBuffer_System.h Lib_PrintBuffer.h Lib_Memzero0.h Hacl_Spec.h internal/Hacl_Spec.h Hacl_Impl_Blake2_Constants.h Hacl_Kremlib.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 internal/Hacl_Hash_MD5.h Hacl_Hash_SHA1.h internal/Hacl_Hash_SHA1.h Hacl_Hash_SHA2.h internal/Hacl_Hash_SHA2.h internal/Vale.h EverCrypt_AutoConfig2.h EverCrypt_Helpers.h EverCrypt_Hash.h Hacl_SHA3.h Hacl_SHA2_Generic.h Hacl_Chacha20.h internal/Hacl_Chacha20.h Hacl_Salsa20.h Hacl_Bignum_Base.h internal/Hacl_Bignum.h Hacl_Curve25519_64_Slow.h Hacl_Curve25519_64.h Hacl_Bignum25519_51.h Hacl_Curve25519_51.h internal/Hacl_Curve25519_51.h Hacl_Streaming_SHA2.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 EverCrypt_Error.h EverCrypt_CTR.h Hacl_P256.h internal/Hacl_P256.h Hacl_Frodo_KEM.h internal/Hacl_Frodo_KEM.h Hacl_IntTypes_Intrinsics.h Hacl_IntTypes_Intrinsics_128.h Hacl_RSAPSS.h Hacl_Impl_FFDHE_Constants.h Hacl_FFDHE.h Hacl_Streaming_Blake2.h Hacl_Streaming_Blake2b_256.h Hacl_Frodo640.h Hacl_Streaming_Blake2s_128.h Hacl_Chacha20_Vec128.h Hacl_Chacha20Poly1305_128.h Hacl_HMAC.h internal/Hacl_HMAC.h Hacl_HKDF.h Hacl_HPKE_Curve51_CP128_SHA512.h Hacl_GenericField32.h Hacl_Bignum256.h Hacl_SHA2_Vec256.h internal/Hacl_SHA2_Vec256.h Hacl_Bignum4096.h Hacl_Chacha20_Vec32.h EverCrypt_Ed25519.h Hacl_Bignum4096_32.h Hacl_HPKE_Curve64_CP128_SHA512.h Hacl_HPKE_P256_CP128_SHA256.h Hacl_Chacha20_Vec256.h Hacl_Chacha20Poly1305_256.h Hacl_HPKE_Curve51_CP256_SHA512.h Hacl_SHA2_Scalar32.h Hacl_Frodo976.h Hacl_HMAC_Blake2s_128.h Hacl_HKDF_Blake2s_128.h Hacl_GenericField64.h Hacl_Streaming_Poly1305_256.h Hacl_Frodo1344.h Hacl_HPKE_Curve64_CP256_SHA512.h Hacl_Streaming_Poly1305_128.h Hacl_Bignum32.h Hacl_HPKE_Curve51_CP128_SHA256.h Hacl_HPKE_Curve64_CP128_SHA256.h Hacl_Bignum256_32.h Hacl_SHA2_Vec128.h Hacl_Chacha20Poly1305_32.h Hacl_HPKE_Curve51_CP32_SHA256.h Hacl_HPKE_Curve64_CP256_SHA256.h Hacl_Streaming_Poly1305_32.h Hacl_HPKE_Curve51_CP32_SHA512.h Hacl_HPKE_P256_CP256_SHA256.h Hacl_HPKE_P256_CP32_SHA256.h Hacl_Bignum64.h Hacl_Frodo64.h Hacl_Streaming_SHA1.h Hacl_Streaming_MD5.h Hacl_HMAC_Blake2b_256.h Hacl_HKDF_Blake2b_256.h Hacl_HPKE_Curve64_CP32_SHA256.h Hacl_HPKE_Curve64_CP32_SHA512.h Hacl_EC_Ed25519.h TestLib.h Hacl_AES128.h Hacl_HPKE_Curve51_CP256_SHA256.h EverCrypt_Chacha20Poly1305.h EverCrypt_AEAD.h EverCrypt_HMAC.h EverCrypt_HKDF.h Hacl_HMAC_DRBG.h EverCrypt_DRBG.h EverCrypt_Poly1305.h EverCrypt_Curve25519.h EverCrypt_Cipher.h EverCrypt_Hacl.h EverCrypt_Vale.h EverCrypt_StaticConfig.h