From 2a9c2f617b105aca033abba046f262fc535e666a Mon Sep 17 00:00:00 2001 From: Andres Erbsen Date: Thu, 10 Jan 2019 23:31:48 -0500 Subject: Makefile: remove *CURVES_PROOFS* --- Makefile | 4 ---- 1 file changed, 4 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 25a1ea652..0da189c41 100644 --- a/Makefile +++ b/Makefile @@ -58,10 +58,6 @@ NOBIGMEM_UNMADE_VOFILES := \ src/Curves/Weierstrass/Jacobian.vo \ src/Curves/Weierstrass/Projective.vo REGULAR_VOFILES := $(filter-out $(SPECIAL_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 PRE_STANDALONE_PRE_VOFILES := $(filter src/Standalone%.vo,$(REGULAR_VOFILES)) UTIL_PRE_VOFILES := $(filter bbv/%.vo src/Algebra/%.vo src/Tactics/%.vo src/Util/%.vo,$(REGULAR_VOFILES)) SOME_EARLY_VOFILES := \ -- cgit v1.2.3