diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-11-09 20:15:56 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-11-09 20:15:56 -0500 |
| commit | e7d670839c8fdf3df92c7cfc4e99a3d5a45dc6b3 (patch) | |
| tree | 5dcbaa7fca544cf1504124d0e3abd46fdf004d82 /Makefile | |
| parent | 2eb4efe2a6f5f5eab23829890ce1aa3182c51762 (diff) | |
Remove from the lite target the slowest file currently in it
It takes 7m29.22s on Travis
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 \ |