diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-12-05 13:35:34 -0500 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-12-11 05:45:34 -0500 |
| commit | 9dd99303dc8204a5b6d9a2c8551c441b28f5c78d (patch) | |
| tree | 10114ae81df390e55a234179d4b3fb212ebc7814 /Makefile | |
| parent | 057b2ee619fcd5e81a84df946852bbe03daf3440 (diff) | |
Test more synthesis files on travis / lite
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 16 |
1 files changed, 11 insertions, 5 deletions
@@ -71,18 +71,24 @@ SPECIFIC_GENERATED_VOFILES := src/Specific/solinas%.vo src/Specific/montgomery%. # 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 \ + src/Specific/X2448/Karatsuba/C64/fe%.vo \ + src/Specific/NISTP256/AMD64/fe%.vo \ + src/Specific/NISTP256/AMD128/fe%.vo \ src/Specific/X25519/C64/ladderstep.vo \ - src/Specific/X25519/C32/%.vo \ + src/Specific/X25519/C32/fe%.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 NO_CURVES_PROOFS_NON_SPECIFIC_UNMADE_VOFILES := src/Curves/Weierstrass/AffineProofs.vo src/Specific/%.vo -SELECTED_PATTERN := src/Specific/X25519/C64/% src/Specific/NISTP256/AMD64/% src/Specific/NISTP256/FancyMachine256/% third_party/% +SELECTED_PATTERN := \ + src/Specific/X25519/C64/% \ + src/Specific/X25519/C32/Synthesis.vo \ + src/Specific/NISTP256/AMD64/% \ + src/Specific/NISTP256/AMD128/Synthesis.vo \ + src/Specific/NISTP256/FancyMachine256/% \ + third_party/% SELECTED_SPECIFIC_PRE_VOFILES := $(filter $(SELECTED_PATTERN),$(REGULAR_VOFILES)) COQ_VOFILES := $(filter-out $(SPECIFIC_GENERATED_VOFILES),$(REGULAR_VOFILES)) |