diff options
author | Jason Gross <jgross@mit.edu> | 2018-02-11 15:04:05 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2018-02-11 15:04:05 -0500 |
commit | f89337f19ad7d4561d0b265e1d32fd21fc2d1cde (patch) | |
tree | fef9d6f67ff445ac9efa21ee0a7bc62616225e31 /Makefile | |
parent | 06de6db654717314b84deb5692203e11ef504334 (diff) |
Fix no-curves-proofs-non-specific target
Previously the vo_reverse_closure logic was not working correctly
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -82,7 +82,7 @@ REGULAR_VOFILES := $(filter-out $(SPECIAL_VOFILES) $(UNMADE_VOFILES),$(VOFILES)) CURVES_PROOFS_PRE_VOFILES := $(filter src/Curves/Weierstrass/Jacobian.vo src/Curves/%Proofs.vo,$(REGULAR_VOFILES)) NO_CURVES_PROOFS_UNMADE_VOFILES := src/Curves/Weierstrass/AffineProofs.vo \ src/Curves/Weierstrass/Jacobian.vo -NO_CURVES_PROOFS_NON_SPECIFIC_UNMADE_VOFILES := $(NO_CURVES_PROOFS_UNMADE_VOFILES) src/Specific/%.vo +NO_CURVES_PROOFS_NON_SPECIFIC_UNMADE_VOFILES := $(filter $(NO_CURVES_PROOFS_UNMADE_VOFILES) src/Specific/%.vo,$(VOFILES)) REAL_SPECIFIC_GENERATED_VOFILES := $(filter $(SPECIFIC_GENERATED_VOFILES),$(VOFILES)) SELECTED_PATTERN := \ |