diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-18 23:57:54 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-10-18 23:57:54 -0400 |
| commit | 0a50617ad955a7a56d018a79c65a9157d2b25e44 (patch) | |
| tree | 20ff9fa8004ea0862c59a96a9c08fb82c32b19c2 /Makefile | |
| parent | 34683d1f31c13863464b4e508c7e8bd64254fd50 (diff) | |
Don't make autogenerated files in `coq`/default target
Only make them in the `specific` target
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -64,7 +64,7 @@ SPECIFIC_GENERATED_VOFILES := src/Specific/solinas%.vo src/Specific/montgomery%. # 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/X2448/Karatsuba/C64/Synthesis.vo src/Specific/NISTP256/AMD64/Synthesis.vo src/Specific/X25519/C64/ladderstep.vo src/Specific/X25519/C32/%.vo $(SPECIFIC_GENERATED_VOFILES) -REGULAR_VOFILES := $(filter-out $(SPECIAL_VOFILES),$(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 @@ -72,9 +72,9 @@ NO_CURVES_PROOFS_NON_SPECIFIC_UNMADE_VOFILES := src/Curves/Weierstrass/AffinePro SELECTED_PATTERN := src/Specific/X25519/C64/% src/Specific/NISTP256/AMD64/% third_party/% SELECTED_SPECIFIC_PRE_VOFILES := $(filter $(SELECTED_PATTERN),$(REGULAR_VOFILES)) -COQ_VOFILES := $(filter-out $(UNMADE_VOFILES),$(REGULAR_VOFILES)) -SPECIFIC_VO := $(filter src/Specific/%,$(COQ_VOFILES)) -NON_SPECIFIC_VO := $(filter-out $(SPECIFIC_VO),$(COQ_VOFILES)) +COQ_VOFILES := $(filter-out $(SPECIFIC_GENERATED_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,$(filter-out $(UNMADE_VOFILES),$(VOFILES))) DISPLAY_VO := $(SPECIFIC_DISPLAY_VO) DISPLAY_JAVA_VO := $(filter %JavaDisplay.vo,$(DISPLAY_VO)) |