diff options
author | Andres Erbsen <andreser@mit.edu> | 2019-01-10 23:31:48 -0500 |
---|---|---|
committer | Andres Erbsen <andreser@mit.edu> | 2019-01-11 13:05:24 -0500 |
commit | 2a9c2f617b105aca033abba046f262fc535e666a (patch) | |
tree | 019e5715238eb2bc9665e8c5a3ddba8c47c9fcf7 /Makefile | |
parent | 70ad6fe524e3313c86c59f5b0c88c4aad21df896 (diff) |
Makefile: remove *CURVES_PROOFS*
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -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 := \ |