diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-03-15 13:36:43 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-03-15 13:36:43 -0400 |
| commit | d826ef007efdab3e749a3c0d018a93a811993b6c (patch) | |
| tree | 384fba2c77536ef2cff87698787688839b6998a9 /Makefile | |
| parent | 2c2ac41de0bedabc3b8fd53d28f8b65859eb4287 (diff) | |
Add a "lite" target
This builds everything in the default target except
WeierstrassCurveTheorems.vo, which, I believe, is the slowest file.
This closes #129.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -48,8 +48,11 @@ $(VOFILES): | coqprime # add files to this list to prevent them from being built by default UNMADE_VOFILES := src/SpecificGen/% src/Specific/%Display.vo +# add files to this list to prevent them from being built by the "lite" target +HEAVY_VOFILES := src/WeierstrassCurve/WeierstrassCurveTheorems.vo COQ_VOFILES := $(filter-out $(UNMADE_VOFILES),$(VOFILES)) +LITE_VOFILES := $(filter-out $(HEAVY_VOFILES),$(COQ_VOFILES)) SPECIFIC_VO := $(filter src/Specific/%,$(VOFILES)) SPECIFIC_GEN_VO := $(filter src/SpecificGen/%,$(VOFILES)) MEDIUM_SPECIFIC_GEN_VO := $(filter-out src/SpecificGen/GF5211_32%,$(SPECIFIC_GEN_VO)) @@ -69,6 +72,7 @@ non-specific: $(NON_SPECIFIC_VO) coqprime specific-display: $(SPECIFIC_DISPLAY_VO:.vo=.log) coqprime display: $(DISPLAY_VO:.vo=.log) coqprime coq: $(COQ_VOFILES) coqprime +lite: $(LITE_VOFILES) coqprime ifneq ($(filter 8.4%,$(COQ_VERSION)),) # 8.4 COQPRIME_FOLDER := coqprime-8.4 |