USER_TARGET=libevercrypt.a
USER_CFLAGS=-Wno-unused
USER_C_FILES=Lib_Memzero0.c Lib_RandomBuffer_System.c
ALL_C_FILES=Hacl_Hash.c Hacl_HMAC.c Hacl_Streaming_SHA2.c Hacl_Bignum.c Hacl_Bignum256.c Hacl_Bignum4096.c Hacl_Bignum256_32.c Hacl_Bignum4096_32.c Hacl_HMAC_DRBG.c
ALL_H_FILES=Lib_RandomBuffer_System.h Lib_Memzero0.h Hacl_Kremlib.h internal/Hacl_Hash.h internal/Hacl_HMAC.h Hacl_Streaming_SHA2.h internal/Hacl_Bignum.h Hacl_Bignum256.h Hacl_Bignum4096.h Hacl_Bignum256_32.h Hacl_Bignum4096_32.h Hacl_Spec.h Hacl_HMAC_DRBG.h Hacl_IntTypes_Intrinsics.h