From d826ef007efdab3e749a3c0d018a93a811993b6c Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 15 Mar 2017 13:36:43 -0400 Subject: Add a "lite" target This builds everything in the default target except WeierstrassCurveTheorems.vo, which, I believe, is the slowest file. This closes #129. --- Makefile | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 88455dea9..34abc03f0 100644 --- a/Makefile +++ b/Makefile @@ -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 -- cgit v1.2.3