From f89337f19ad7d4561d0b265e1d32fd21fc2d1cde Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sun, 11 Feb 2018 15:04:05 -0500 Subject: Fix no-curves-proofs-non-specific target Previously the vo_reverse_closure logic was not working correctly --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index a0c3e5c57..c6feb39a7 100644 --- a/Makefile +++ b/Makefile @@ -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 := \ -- cgit v1.2.3