From 969cb56234750c320768ae39e934b18ce2883aef Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 10 Jun 2016 16:43:21 -0400 Subject: 8.5 fixes --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 04df08ae3..5fb1ab33c 100644 --- a/Makefile +++ b/Makefile @@ -28,7 +28,7 @@ coqprime-8.5: $(MAKE) -C coqprime-8.5 Makefile.coq: Makefile _CoqProject - coq_makefile -f _CoqProject -o Makefile.coq + $(COQBIN)coq_makefile -f _CoqProject -o Makefile.coq clean: Makefile.coq $(MAKE) -f Makefile.coq clean -- cgit v1.2.3