diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-11-01 15:25:09 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-11-02 10:41:00 -0400 |
| commit | 29b2e54016410699c84432147a4b52b45f344b3e (patch) | |
| tree | 18525800d1535f00c571e02616cdabb95ebad434 /Makefile | |
| parent | a8754ef67049b818c8cadfe86ba783d6c0e31c2f (diff) | |
Add another early travis stage
This will hopefully take some burden off later travis stages and make
PR #437 easier to merge.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -25,7 +25,7 @@ INSTALLDEFAULTROOT := Crypto old-pipeline-lite print-old-pipeline-lite \ coq-without-new-pipeline \ nobigmem print-nobigmem \ - util \ + util some-early \ specific-c specific-display display \ specific non-specific lite only-heavy printlite lite-display print-lite-display \ new-pipeline pre-standalone \ @@ -117,6 +117,10 @@ NEW_PIPELINE_PRE_VOFILES := $(filter $(NEW_PIPELINE_FILTER),$(REGULAR_VOFILES)) PRE_STANDALONE_PRE_VOFILES := $(filter src/Experiments/NewPipeline/Standalone%.vo,$(REGULAR_VOFILES)) UTIL_PRE_VOFILES := $(filter bbv/%.vo src/Algebra/%.vo src/Tactics/%.vo src/Util/%.vo,$(REGULAR_VOFILES)) COQ_WITHOUT_NEW_PIPELINE_VOFILES := $(filter-out $(NEW_PIPELINE_FILTER),$(REGULAR_VOFILES)) +SOME_EARLY_VOFILES := \ + src/Experiments/NewPipeline/Arithmetic.vo \ + src/Experiments/NewPipeline/Rewriter.vo \ + src/Experiments/SimplyTypedArithmetic.vo SELECTED_PATTERN := \ src/Specific/X25519/C64/% \ @@ -206,6 +210,7 @@ specific-c: $(filter-out $(UNMADE_C_FILES),$(SPECIFIC_DISPLAY_VO:Display.vo=.c) selected-specific: $(SELECTED_SPECIFIC_VOFILES) selected-specific-display: $(SELECTED_SPECIFIC_DISPLAY_VO:.vo=.log) selected-c: $(filter-out $(UNMADE_C_FILES),$(SELECTED_SPECIFIC_DISPLAY_VO:Display.vo=.c) $(SELECTED_SPECIFIC_DISPLAY_VO:Display.vo=.h)) +some-early: $(SOME_EARLY_VOFILES) nonautogenerated-specific: $(NONAUTOGENERATED_SPECIFIC_VOFILES) nonautogenerated-specific-display: $(NONAUTOGENERATED_SPECIFIC_DISPLAY_VO:.vo=.log) nonautogenerated-c: $(filter-out $(UNMADE_C_FILES),$(NONAUTOGENERATED_SPECIFIC_DISPLAY_VO:Display.vo=.c) $(NONAUTOGENERATED_SPECIFIC_DISPLAY_VO:Display.vo=.h)) |