diff options
author | Jason Gross <jgross@mit.edu> | 2017-06-26 15:54:38 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-06-26 15:54:38 -0400 |
commit | 718c852b530aab5c505db7d7ab0fb8d8edd6e10a (patch) | |
tree | 1ce050036ca3cde28223266eb120d703d3cd91d3 /Makefile | |
parent | 45f80c48c6b585929727bc5aadfef1bffc212e5d (diff) |
Drop the two slowest files from the lite target
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -59,7 +59,7 @@ $(VOFILES): | coqprime UNMADE_VOFILES := src/SpecificGen/% src/Specific/%Display.vo # 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/Specific/Karatsuba.vo +LITE_UNMADE_VOFILES := src/Curves/Weierstrass/AffineProofs.vo src/Specific/Karatsuba.vo src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256.vo src/Specific/X25519/C64/ladderstep.vo CURVES_PROOFS_PRE_VOFILES := $(filter src/Curves/%Proofs.vo,$(VOFILES)) NO_CURVES_PROOFS_UNMADE_VOFILES := src/Curves/Weierstrass/AffineProofs.vo |