USER_TARGET=libevercrypt.a
USER_CFLAGS=-Wno-unused
USER_C_FILES=Lib_Memzero0.c Lib_RandomBuffer_System.c
ALL_C_FILES=Hacl_Kremlib.c Hacl_Spec.c Hacl_Leftovers.c Hacl_Hash_Base.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_Curve25519_64.c Hacl_Curve25519_51.c Hacl_Poly1305.c Hacl_NaCl.c MerkleTree.c EverCrypt_Error.c EverCrypt_CTR.c EverCrypt_HMAC.c EverCrypt_HKDF.c EverCrypt_DRBG.c EverCrypt_Curve25519.c EverCrypt_Cipher.c EverCrypt_StaticConfig.c
ALL_H_FILES=Lib_RandomBuffer_System.h Lib_PrintBuffer.h Lib_Memzero0.h Hacl_Kremlib.h internal/Hacl_Kremlib.h Hacl_Spec.h internal/Hacl_Spec.h Hacl_Impl_Blake2_Constants.h Hacl_Leftovers.h internal/Hacl_Leftovers.h Hacl_Hash_Base.h internal/Hacl_Hash_Base.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_Hash.h Hacl_SHA3.h Hacl_Chacha20.h internal/Hacl_Chacha20.h Hacl_Salsa20.h Hacl_Curve25519_64.h Hacl_Bignum25519_51.h Hacl_Curve25519_51.h internal/Hacl_Poly1305.h Hacl_NaCl.h MerkleTree.h EverCrypt_Error.h EverCrypt_CTR.h Hacl_IntTypes_Intrinsics.h Hacl_IntTypes_Intrinsics_128.h TestLib.h EverCrypt_HMAC.h EverCrypt_HKDF.h EverCrypt_DRBG.h EverCrypt_Curve25519.h EverCrypt_Cipher.h EverCrypt_Vale.h EverCrypt_StaticConfig.h