diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 \ |