From 94755f0b90af855aa7bf265b37ed101ba95b1103 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Tue, 2 Oct 2018 09:00:57 -0400
Subject: Add coq-without-new-pipeline

It doesn't go through vo_reverse_closure, and doesn't include the new pipeline
---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 8a3f2cac4..c62795319 100644
--- a/Makefile
+++ b/Makefile
@@ -23,6 +23,7 @@ INSTALLDEFAULTROOT := Crypto
 	install-coqprime clean-coqprime coqprime coqprime-all \
 	old-pipeline-nobigmem print-old-pipeline-nobigmem \
 	old-pipeline-lite print-old-pipeline-lite \
+	coq-without-new-pipeline \
 	nobigmem print-nobigmem \
 	util \
 	specific-c specific-display display \
@@ -115,6 +116,7 @@ REAL_SPECIFIC_GENERATED_VOFILES := $(filter $(SPECIFIC_GENERATED_VOFILES),$(VOFI
 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))
 
 SELECTED_PATTERN := \
 	src/Specific/X25519/C64/% \
@@ -189,6 +191,7 @@ coq: $(COQ_VOFILES)
 lite: $(LITE_VOFILES)
 old-pipeline-lite: $(OLD_PIPELINE_LITE_VOFILES)
 lite-display: $(LITE_DISPLAY_VOFILES:.vo=.log)
+coq-without-new-pipeline: $(COQ_WITHOUT_NEW_PIPELINE_VOFILES)
 nobigmem: $(NOBIGMEM_VOFILES)
 old-pipeline-nobigmem: $(OLD_PIPELINE_NOBIGMEM_VOFILES)
 only-heavy: $(HEAVY_VOFILES)
-- 
cgit v1.2.3