From 32133752a3d4ab3bae14df49921c9ad1e73fae5e Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 13 Dec 2017 00:40:01 -0500 Subject: Move Curves/Weierstrass/Jacobian to curves-proofs We have about 15 minutes to spare on the curves-proofs travis job, so we move Jacobian.vo from no-curves-proofs-non-specific to there. --- Makefile | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 172b0294e..0042c9cf9 100644 --- a/Makefile +++ b/Makefile @@ -79,9 +79,10 @@ LITE_UNMADE_VOFILES := src/Curves/Weierstrass/AffineProofs.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 +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 REAL_SPECIFIC_GENERATED_VOFILES := $(filter $(SPECIFIC_GENERATED_VOFILES),$(VOFILES)) SELECTED_PATTERN := \ -- cgit v1.2.3