From 6b644cdc4cb71b36f5cf354b12f1345fc4dd392e Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sat, 12 Nov 2016 16:47:54 -0500
Subject: Separate out SpecificGen from default target

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index c0d3fdd04..18cda2236 100644
--- a/Makefile
+++ b/Makefile
@@ -45,13 +45,15 @@ update-_CoqProject::
 $(VOFILES): | coqprime
 
 # add files to this list to prevent them from being built by default
-UNMADE_VOFILES :=
+UNMADE_VOFILES := src/SpecificGen/%
 
 COQ_VOFILES := $(filter-out $(UNMADE_VOFILES),$(VOFILES))
 SPECIFIC_VO := $(filter src/Specific/%,$(VOFILES))
+SPECIFIC_GEN_VO := $(filter src/SpecificGen/%,$(VOFILES))
 NON_SPECIFIC_VO := $(filter-out $(SPECIFIC_VO),$(VO_FILES))
 
 specific: $(SPECIFIC_VO) coqprime
+specific-gen: $(SPECIFIC_VO) coqprime
 non-specific: $(NON_SPECIFIC_VO) coqprime
 coq: $(COQ_VOFILES) coqprime
 
-- 
cgit v1.2.3