From d4129abb2c9a73cc7d367e57fa6ae22224aca71e Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sun, 29 Apr 2018 14:09:35 -0400
Subject: Don't allow coqprime and coqprime-all to run in parallel

We only want one invocation of submake at a time.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 9afb43291..fda4a7260 100644
--- a/Makefile
+++ b/Makefile
@@ -210,7 +210,7 @@ export COQPATH
 coqprime:
 	$(MAKE) --no-print-directory -C $(COQPRIME_FOLDER) src/Coqprime/PrimalityTest/Zp.vo
 
-coqprime-all:
+coqprime-all: coqprime
 	$(MAKE) --no-print-directory -C $(COQPRIME_FOLDER)
 
 clean-coqprime:
-- 
cgit v1.2.3