From de6a1248e2cd74f27434bb01867cf9fa073e8c8a Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Fri, 20 Jul 2018 20:18:16 -0400
Subject: Work around coqprime issues

This closes #398

Since coqprime's makefile is incompatible with Coq 8.7, we blow it away
and regenerate it ourselves.
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 2cb11476c..978b170d8 100644
--- a/Makefile
+++ b/Makefile
@@ -243,6 +243,7 @@ COQPATH?=${CURDIR_SAFE}/$(COQPRIME_FOLDER)/src
 export COQPATH
 
 coqprime:
+	(cd $(COQPRIME_FOLDER) && $(COQBIN)coq_makefile -f _CoqProject -o Makefile)
 	$(MAKE) --no-print-directory -C $(COQPRIME_FOLDER) src/Coqprime/PrimalityTest/Zp.vo
 
 coqprime-all: coqprime
-- 
cgit v1.2.3