hack makefile to fix coqchk invocation

66904606 · Ralf Jung · 6405ebbc · 66904606
Commit 66904606 authored Jun 07, 2016 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 9 additions and 4 deletions

Makefile Makefile +9 -4

No files found.
--- a/Makefile
+++ b/Makefile
 # 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