aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 111a8ca9e..df193d7d3 100644
--- a/Makefile
+++ b/Makefile
@@ -69,6 +69,7 @@ SPECIFIC_GENERATED_VOFILES := src/Specific/solinas%.vo src/Specific/montgomery%.
# 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 \
+ src/Curves/Weierstrass/Projective.vo \
src/Specific/X2448/Karatsuba/C64/Synthesis.vo \
src/Specific/NISTP256/AMD64/Synthesis.vo \
src/Specific/NISTP256/AMD128/Synthesis.vo \