From 16072877d61803545dafeca88823470c4aba1455 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 15 Nov 2016 12:40:04 -0500 Subject: Add a small-specific-gen target --- Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 792b1eda9..b877c4154 100644 --- a/Makefile +++ b/Makefile @@ -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 -- cgit v1.2.3