diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-11-15 12:52:06 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-11-15 12:52:06 -0500 |
| commit | dd26987d58eadbbe34e20075ca2449c9d1de328e (patch) | |
| tree | 6554aaf03e2530861b20a1a8620e9f32c33a4b33 /Makefile | |
| parent | 16072877d61803545dafeca88823470c4aba1455 (diff) | |
Add medium-specific-gen
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -50,11 +50,13 @@ UNMADE_VOFILES := src/SpecificGen/% COQ_VOFILES := $(filter-out $(UNMADE_VOFILES),$(VOFILES)) SPECIFIC_VO := $(filter src/Specific/%,$(VOFILES)) SPECIFIC_GEN_VO := $(filter src/SpecificGen/%,$(VOFILES)) -SMALL_SPECIFIC_GEN_VO := $(filter-out src/SpecificGen/GF5211_32% src/SpecificGen/GF41417_32%,$(SPECIFIC_GEN_VO)) +MEDIUM_SPECIFIC_GEN_VO := $(filter-out src/SpecificGen/GF5211_32%,$(SPECIFIC_GEN_VO)) +SMALL_SPECIFIC_GEN_VO := $(filter-out src/SpecificGen/GF41417_32%,$(MEDIUM_SPECIFIC_GEN_VO)) NON_SPECIFIC_VO := $(filter-out $(SPECIFIC_VO),$(VO_FILES)) specific: $(SPECIFIC_VO) coqprime specific-gen: $(SPECIFIC_GEN_VO) coqprime +medium-specific-gen: $(MEDIUM_SPECIFIC_GEN_VO) coqprime small-specific-gen: $(SMALL_SPECIFIC_GEN_VO) coqprime non-specific: $(NON_SPECIFIC_VO) coqprime coq: $(COQ_VOFILES) coqprime |