From 66904606b73fa640a98d6f58336cf804173fcf43 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 7 Jun 2016 15:32:49 +0200
Subject: [PATCH] hack makefile to fix coqchk invocation

---
 Makefile | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index d687701ef..6c554b275 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,8 @@
 # Makefile originally taken from coq-club
+
+%: Makefile.coq
+	+make -f Makefile.coq $@
+
 all: Makefile.coq
 	+make -f Makefile.coq all
 
@@ -6,10 +10,11 @@ clean: Makefile.coq
 	+make -f Makefile.coq clean
 	rm -f Makefile.coq
 
-Makefile.coq: _CoqProject
-	coq_makefile -f _CoqProject -o Makefile.coq
+Makefile.coq: _CoqProject Makefile
+	coq_makefile -f _CoqProject | sed 's/$$(COQCHK) $$(COQCHKFLAGS) $$(COQLIBS)/$$(COQCHK) $$(COQCHKFLAGS) $$(subst -Q,-R,$$(COQLIBS))/' > Makefile.coq
 
-%: Makefile.coq
-	+make -f Makefile.coq $@
+_CoqProject: ;
+
+Makefile: ;
 
 .PHONY: all clean
-- 
GitLab