USER_TARGET=libevercrypt.a
USER_CFLAGS=-march=native -mtune=native -Wno-unused
USER_C_FILES=evercrypt_vale_stubs.c Lib_PrintBuffer.c Lib_Memzero.c Lib_RandomBuffer_System.c Hacl_AES.c
ALL_C_FILES=Hacl_Kremlib.c Hacl_Hash.c Vale.c EverCrypt_AutoConfig2.c Hacl_Spec.c EverCrypt_Hash.c Hacl_SHA3.c Hacl_Chacha20.c Hacl_Salsa20.c Hacl_Curve25519_64_Slow.c Hacl_Curve25519_64.c Hacl_Curve25519_51.c Hacl_ECDSA.c Hacl_Ed25519.c Hacl_Poly1305_32.c Hacl_Poly1305_128.c Hacl_Poly1305_256.c Hacl_NaCl.c MerkleTree.c EverCrypt_Error.c EverCrypt_CTR.c Hacl_Frodo_KEM.c Hacl_Chacha20_Vec128.c Hacl_Chacha20Poly1305_128.c Hacl_HMAC.c Hacl_HKDF.c Hacl_HPKE_Curve51_CP128_SHA512.c Hacl_Blake2b_32.c Hacl_Chacha20_Vec32.c EverCrypt_Ed25519.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_HPKE_Curve64_CP256_SHA512.c Hacl_HPKE_Curve51_CP128_SHA256.c Hacl_HPKE_Curve64_CP128_SHA256.c Hacl_Chacha20Poly1305_32.c Hacl_HPKE_Curve51_CP32_SHA256.c Hacl_HPKE_Curve64_CP256_SHA256.c Hacl_Blake2b_256.c Hacl_Blake2s_32.c Hacl_HPKE_Curve51_CP32_SHA512.c Hacl_HPKE_P256_CP256_SHA256.c Hacl_HPKE_P256_CP32_SHA256.c Hacl_Blake2s_128.c Hacl_HPKE_Curve64_CP32_SHA256.c Hacl_HPKE_Curve64_CP32_SHA512.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_Vale.c EverCrypt_StaticConfig.c
ALL_H_FILES=Lib_RandomBuffer_System.h Lib_PrintBuffer.h Hacl_Kremlib.h Hacl_Hash.h Vale.h EverCrypt_AutoConfig2.h Hacl_Spec.h EverCrypt_Helpers.h EverCrypt_Hash.h Hacl_SHA3.h Hacl_Impl_Blake2_Constants.h Hacl_Chacha20.h Hacl_Salsa20.h Hacl_Curve25519_64_Slow.h Vale_Inline.h Hacl_Curve25519_64.h Hacl_Curve25519_51.h Hacl_Lib.h Hacl_ECDSA.h Hacl_Ed25519.h Hacl_Poly1305_32.h Hacl_Poly1305_128.h Hacl_Poly1305_256.h Hacl_NaCl.h MerkleTree.h EverCrypt_Error.h EverCrypt_CTR.h Hacl_Frodo_KEM.h Hacl_Chacha20_Vec128.h Hacl_Chacha20Poly1305_128.h Hacl_HMAC.h Hacl_HKDF.h Hacl_HPKE_Curve51_CP128_SHA512.h Hacl_Blake2b_32.h Hacl_Chacha20_Vec32.h EverCrypt_Ed25519.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_HPKE_Curve64_CP256_SHA512.h Hacl_HPKE_Curve51_CP128_SHA256.h Hacl_HPKE_Curve64_CP128_SHA256.h Hacl_Chacha20Poly1305_32.h Hacl_HPKE_Curve51_CP32_SHA256.h Hacl_HPKE_Curve64_CP256_SHA256.h Hacl_Blake2b_256.h Hacl_Blake2s_32.h Hacl_HPKE_Curve51_CP32_SHA512.h Hacl_HPKE_P256_CP256_SHA256.h Hacl_HPKE_P256_CP32_SHA256.h Hacl_Blake2s_128.h Hacl_HPKE_Curve64_CP32_SHA256.h Hacl_HPKE_Curve64_CP32_SHA512.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