From 892e77bde485a0f5105927176aa4c55ed0043a68 Mon Sep 17 00:00:00 2001 From: Andres Erbsen Date: Mon, 28 Oct 2024 22:15:55 +0000 Subject: [PATCH] exclude Bedrock2 Joye ladder from lite target --- Makefile | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 3e65f9f3c7c..9d47e2e3236 100644 --- a/Makefile +++ b/Makefile @@ -87,7 +87,12 @@ endif EXCLUDED_VOFILES := $(filter $(EXCLUDE_PATTERN),$(VOFILES)) # add files to this list to prevent them from being built as final # targets by the "lite" target -LITE_UNMADE_VOFILES := src/Curves/Weierstrass/AffineProofs.vo \ +LITE_UNMADE_VOFILES := \ + src/Bedrock/Secp256k1/Addchain.vo \ + src/Bedrock/Secp256k1/Field256k1.vo \ + src/Bedrock/Secp256k1/JacobianCoZ.vo \ + src/Bedrock/Secp256k1/JoyeLadder.vo \ + src/Curves/Weierstrass/AffineProofs.vo \ src/Curves/Weierstrass/Jacobian/Jacobian.vo \ src/Curves/Weierstrass/Jacobian/CoZ.vo \ src/Curves/Weierstrass/Jacobian/ScalarMult.vo \