diff options
author | Jason Gross <jgross@mit.edu> | 2017-10-18 17:55:52 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2017-10-18 23:01:29 -0400 |
commit | b50240d43eeacec2b00fc0d0d5af82ba935fc5e0 (patch) | |
tree | fc694325189ba2cd0e774a939992e3f5654c67a0 /Makefile | |
parent | 374cce029165d5f747f7c9a19a97ea7c74e08a9d (diff) |
Fix the lite target
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -57,11 +57,13 @@ update-_CoqProject:: $(VOFILES): | coqprime # add files to this list to prevent them from being built by default -SPECIAL_VOFILES := src/Specific/%Display.vo UNMADE_VOFILES := +# files that are treated specially +SPECIAL_VOFILES := src/Specific/%Display.vo +SPECIFIC_GENERATED_VOFILES := src/Specific/solinas%.vo src/Specific/montgomery%.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/X2448/Karatsuba/C64/Synthesis.vo src/Specific/NISTP256/AMD64/Synthesis.vo src/Specific/X25519/C64/ladderstep.vo src/Specific/X25519/C32/%.vo +LITE_UNMADE_VOFILES := src/Curves/Weierstrass/AffineProofs.vo src/Specific/X2448/Karatsuba/C64/Synthesis.vo src/Specific/NISTP256/AMD64/Synthesis.vo src/Specific/X25519/C64/ladderstep.vo src/Specific/X25519/C32/%.vo $(SPECIFIC_GENERATED_VOFILES) REGULAR_VOFILES := $(filter-out $(SPECIAL_VOFILES),$(VOFILES)) CURVES_PROOFS_PRE_VOFILES := $(filter src/Curves/%Proofs.vo,$(REGULAR_VOFILES)) NO_CURVES_PROOFS_UNMADE_VOFILES := src/Curves/Weierstrass/AffineProofs.vo |