From 3f3972bd4e68c2055b060eb315cca2d665ff5703 Mon Sep 17 00:00:00 2001 From: Franziskus Kiefer Date: Tue, 15 Nov 2022 14:31:56 +0000 Subject: [PATCH] block all of HPKE for ocaml --- ocaml/Makefile | 32 +++++++++++++++++++++++++++++++- 1 file changed, 31 insertions(+), 1 deletion(-) diff --git a/ocaml/Makefile b/ocaml/Makefile index 9fac333d..310b2f36 100644 --- a/ocaml/Makefile +++ b/ocaml/Makefile @@ -57,7 +57,37 @@ build-c: # Config -BLOCKLIST= +# Disabling all of HPKE. +BLOCKLIST=Hacl_HPKE_Curve51_CP256_SHA512.c \ + Hacl_HPKE_P256_CP128_SHA256.c \ + Hacl_HPKE_Curve51_CP256_SHA512.c \ + Hacl_HPKE_P256_CP128_SHA256.c \ + Hacl_HPKE_Curve51_CP256_SHA256.c \ + Hacl_HPKE_Curve51_CP32_SHA512.c \ + Hacl_HPKE_Curve51_CP128_SHA512.c \ + Hacl_HPKE_P256_CP256_SHA256.c \ + Hacl_HPKE_Curve51_CP32_SHA256.c \ + Hacl_HPKE_Curve51_CP128_SHA256.c \ + Hacl_HPKE_P256_CP32_SHA256.c \ + Hacl_HPKE_Curve64_CP128_SHA512.c \ + Hacl_HPKE_Curve64_CP128_SHA256.c \ + Hacl_HPKE_Curve64_CP256_SHA512.c \ + Hacl_HPKE_Curve64_CP32_SHA256.c \ + Hacl_HPKE_Curve64_CP256_SHA256.c \ + Hacl_HPKE_Curve64_CP32_SHA512.c \ + Hacl_HPKE_Curve51_CP256_SHA256.c \ + Hacl_HPKE_Curve51_CP32_SHA512.c \ + Hacl_HPKE_Curve51_CP128_SHA512.c \ + Hacl_HPKE_P256_CP256_SHA256.c \ + Hacl_HPKE_Curve51_CP32_SHA256.c \ + Hacl_HPKE_Curve51_CP128_SHA256.c \ + Hacl_HPKE_P256_CP32_SHA256.c \ + Hacl_HPKE_Curve64_CP128_SHA512.c \ + Hacl_HPKE_Curve64_CP128_SHA256.c \ + Hacl_HPKE_Curve64_CP256_SHA512.c \ + Hacl_HPKE_Curve64_CP32_SHA256.c \ + Hacl_HPKE_Curve64_CP256_SHA256.c \ + Hacl_HPKE_Curve64_CP32_SHA512.c ifeq (,$(TOOLCHAIN_CAN_COMPILE_VEC128)) BLOCKLIST+=Hacl_Chacha20Poly1305_128.c Hacl_Poly1305_128.c \ Hacl_Hash_Blake2s_128.c Hacl_Streaming_Blake2s_128.c