From 26a5193a11ace7de40ee2de134f29f51ba5845a6 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sun, 29 Apr 2018 13:45:17 -0400
Subject: Add a coqprime-all target to build all of coqprime

---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 5492ca1a9..e54fc39fa 100644
--- a/Makefile
+++ b/Makefile
@@ -14,7 +14,7 @@ HIDE := $(if $(VERBOSE),,@)
 INSTALLDEFAULTROOT := Crypto
 
 .PHONY: coq clean update-_CoqProject cleanall install \
-	install-coqprime clean-coqprime coqprime \
+	install-coqprime clean-coqprime coqprime coqprime-all \
 	specific-c specific-display display \
 	specific non-specific lite only-heavy printlite lite-display print-lite-display \
 	curves-proofs no-curves-proofs no-curves-proofs-non-specific \
@@ -209,6 +209,9 @@ export COQPATH
 coqprime:
 	$(MAKE) --no-print-directory -C $(COQPRIME_FOLDER) src/Coqprime/PrimalityTest/Zp.vo
 
+coqprime-all:
+	$(MAKE) --no-print-directory -C $(COQPRIME_FOLDER)
+
 clean-coqprime:
 	$(MAKE) --no-print-directory -C $(COQPRIME_FOLDER) clean
 
-- 
cgit v1.2.3