diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-11-12 16:47:54 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-11-13 17:01:38 -0500 |
| commit | 6b644cdc4cb71b36f5cf354b12f1345fc4dd392e (patch) | |
| tree | 4fe305cf2e442670ce5eb770cf383ab49523adbe /Makefile | |
| parent | 646a21fc7271316880edc4e627923e7bdd93065b (diff) | |
Separate out SpecificGen from default target
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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 |