diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-15 12:46:46 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-10-15 12:46:46 -0400 |
| commit | 403fdf01ce2337127993a097bed91bed7c366380 (patch) | |
| tree | 2f70be8f95285e34d1b0fe14c963bbea6e1e4d3f /Makefile | |
| parent | b0f9f2587a31e9c5d2cf0322408f2c3210130d4b (diff) | |
Remove *Display.vo from, e.g., selected-specific
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 14 |
1 files changed, 8 insertions, 6 deletions
@@ -57,20 +57,22 @@ update-_CoqProject:: $(VOFILES): | coqprime # add files to this list to prevent them from being built by default -UNMADE_VOFILES := src/Specific/%Display.vo +SPECIAL_VOFILES := src/Specific/%Display.vo +UNMADE_VOFILES := # add files to this list to prevent them from being built as final # targets by the "lite" target LITE_UNMADE_VOFILES := src/Curves/Weierstrass/AffineProofs.vo src/Specific/Karatsuba.vo src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256.vo src/Specific/X25519/C64/ladderstep.vo src/Specific/X25519/C32/%.vo -CURVES_PROOFS_PRE_VOFILES := $(filter src/Curves/%Proofs.vo,$(VOFILES)) +REGULAR_VOFILES := $(filter-out $(SPECIAL_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 SELECTED_PATTERN := src/Specific/X25519/C64/% src/Specific/NISTP256/AMD64/% third_party/% -SELECTED_SPECIFIC_PRE_VOFILES := $(filter $(SELECTED_PATTERN),$(VOFILES)) +SELECTED_SPECIFIC_PRE_VOFILES := $(filter $(SELECTED_PATTERN),$(REGULAR_VOFILES)) -COQ_VOFILES := $(filter-out $(UNMADE_VOFILES),$(VOFILES)) -SPECIFIC_VO := $(filter src/Specific/%,$(VOFILES)) -NON_SPECIFIC_VO := $(filter-out $(SPECIFIC_VO),$(VOFILES)) +COQ_VOFILES := $(filter-out $(UNMADE_VOFILES),$(REGULAR_VOFILES)) +SPECIFIC_VO := $(filter src/Specific/%,$(REGULAR_VOFILES)) +NON_SPECIFIC_VO := $(filter-out $(SPECIFIC_VO),$(REGULAR_VOFILES)) SPECIFIC_DISPLAY_VO := $(filter src/Specific/%Display.vo,$(VOFILES)) DISPLAY_VO := $(SPECIFIC_DISPLAY_VO) DISPLAY_JAVA_VO := $(filter %JavaDisplay.vo,$(DISPLAY_VO)) |