diff options
| author |  Jason Gross <jasongross9@gmail.com> | 2017-10-25 08:31:53 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2017-10-25 08:31:53 -0700 |
| commit | cbe61e4fdce01e3acd0adb56bcf45ca280fad55d (patch) | |
| tree | 9599f9a6253658762718aea774c701a2b6398e40 /Makefile | |
| parent | 7887e5cdec1034032b60ccc2d7d94c0192542432 (diff) | |
Remove NISTP256/AMD128 from lite target
This hopefully fixes #262
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -68,7 +68,13 @@ 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 $(SPECIFIC_GENERATED_VOFILES) +LITE_UNMADE_VOFILES := src/Curves/Weierstrass/AffineProofs.vo \ + src/Specific/X2448/Karatsuba/C64/Synthesis.vo \ + src/Specific/NISTP256/AMD64/Synthesis.vo \ + src/Specific/NISTP256/AMD128/Synthesis.vo \ + src/Specific/X25519/C64/ladderstep.vo \ + src/Specific/X25519/C32/%.vo \ + $(SPECIFIC_GENERATED_VOFILES) REGULAR_VOFILES := $(filter-out $(SPECIAL_VOFILES) $(UNMADE_VOFILES),$(VOFILES)) CURVES_PROOFS_PRE_VOFILES := $(filter src/Curves/%Proofs.vo,$(REGULAR_VOFILES)) NO_CURVES_PROOFS_UNMADE_VOFILES := src/Curves/Weierstrass/AffineProofs.vo |