diff options
author | Jason Gross <jgross@mit.edu> | 2016-11-15 12:40:04 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2016-11-15 12:40:04 -0500 |
commit | 16072877d61803545dafeca88823470c4aba1455 (patch) | |
tree | 57090e4b254cec5b588c721de848107ee19dd7a2 /Makefile | |
parent | a2cf2ba8acf49238e704bad31d2e2aa7f336c7dd (diff) |
Add a small-specific-gen target
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -50,10 +50,12 @@ 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)) NON_SPECIFIC_VO := $(filter-out $(SPECIFIC_VO),$(VO_FILES)) specific: $(SPECIFIC_VO) coqprime -specific-gen: $(SPECIFIC_VO) coqprime +specific-gen: $(SPECIFIC_GEN_VO) coqprime +small-specific-gen: $(SMALL_SPECIFIC_GEN_VO) coqprime non-specific: $(NON_SPECIFIC_VO) coqprime coq: $(COQ_VOFILES) coqprime |