USER_TARGET=libevercrypt.a
USER_CFLAGS=-Wno-unused
USER_C_FILES=
ALL_C_FILES=Hacl_Chacha20.c Vale.c Hacl_Curve25519_64.c Hacl_Curve25519_51.c Hacl_Poly1305_32.c Hacl_Poly1305_128.c Hacl_Poly1305_256.c Hacl_Chacha20_Vec128.c Hacl_Chacha20Poly1305_128.c Hacl_Chacha20Poly1305_32.c Hacl_Chacha20_Vec256.c Hacl_Chacha20Poly1305_256.c
ALL_H_FILES=Hacl_Kremlib.h Hacl_Chacha20.h internal/Hacl_Chacha20.h internal/Vale.h Hacl_Curve25519_64.h Hacl_Bignum25519_51.h Hacl_Curve25519_51.h Hacl_Poly1305_32.h Hacl_Poly1305_128.h internal/Hacl_Poly1305_128.h Hacl_Poly1305_256.h internal/Hacl_Poly1305_256.h Hacl_IntTypes_Intrinsics.h Hacl_IntTypes_Intrinsics_128.h TestLib.h Hacl_AES128.h Hacl_Chacha20_Vec128.h Hacl_Chacha20Poly1305_128.h Hacl_Chacha20Poly1305_32.h Hacl_Chacha20_Vec256.h Hacl_Chacha20Poly1305_256.h