diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-19 14:20:46 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-10-19 14:20:46 -0400 |
| commit | dad05b6740575537530b94215929ce8bca3d6fe2 (patch) | |
| tree | 9332cddc556043b9006c912b039317866ac29bb0 /Makefile | |
| parent | f02a19f5e98a0c202165179bf0752b8339da8706 (diff) | |
Add FancyMachine256 to selected-specific
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -69,7 +69,7 @@ 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/% third_party/% +SELECTED_PATTERN := src/Specific/X25519/C64/% src/Specific/NISTP256/AMD64/% src/Specific/NISTP256/FancyMachine256/% third_party/% SELECTED_SPECIFIC_PRE_VOFILES := $(filter $(SELECTED_PATTERN),$(REGULAR_VOFILES)) COQ_VOFILES := $(filter-out $(SPECIFIC_GENERATED_VOFILES),$(REGULAR_VOFILES)) |