diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-12-13 00:40:01 -0500 |
|---|---|---|
| committer |  Andres Erbsen <andreser@mit.edu> | 2018-01-09 10:09:46 -0500 |
| commit | 32133752a3d4ab3bae14df49921c9ad1e73fae5e (patch) | |
| tree | d8802582a40256dd021a087b080f6ef0fc0dd667 /Makefile | |
| parent | 609b74a924acfd763ef1ad10e9102193b441699e (diff) | |
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.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -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 := \ |