We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b240a3b commit 735c000Copy full SHA for 735c000
Makefile
@@ -87,7 +87,12 @@ endif
87
EXCLUDED_VOFILES := $(filter $(EXCLUDE_PATTERN),$(VOFILES))
88
# add files to this list to prevent them from being built as final
89
# targets by the "lite" target
90
-LITE_UNMADE_VOFILES := src/Curves/Weierstrass/AffineProofs.vo \
+LITE_UNMADE_VOFILES := \
91
+ src/Bedrock/Secp256k1/Addchain.vo \
92
+ src/Bedrock/Secp256k1/Field256k1.vo \
93
+ src/Bedrock/Secp256k1/JacobianCoZ.vo \
94
+ src/Bedrock/Secp256k1/JoyeLadder.vo \
95
+ src/Curves/Weierstrass/AffineProofs.vo \
96
src/Curves/Weierstrass/Jacobian/Jacobian.vo \
97
src/Curves/Weierstrass/Jacobian/CoZ.vo \
98
src/Curves/Weierstrass/Jacobian/ScalarMult.vo \
0 commit comments