From 6ec94861f8f563a07463965abd3fc3b6a44f4f77 Mon Sep 17 00:00:00 2001
From: Jason Gross <jasongross9@gmail.com>
Date: Sat, 16 Jul 2016 15:42:56 +0200
Subject: [PATCH] More $(COQBIN) in Makefile

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

diff --git a/Makefile b/Makefile
index a7fafb9..1456b23 100644
--- a/Makefile
+++ b/Makefile
@@ -20,13 +20,13 @@ init:
 universes: universes.txt
 
 universes.txt: coq tests/universes.v
-	coqc `grep '\-Q' _CoqProject` `grep '\-I' _CoqProject` tests/universes
+	$(COQBIN)coqc `grep '\-Q' _CoqProject` `grep '\-I' _CoqProject` tests/universes
 
 check-imports:
 	./tools/opt-import.py -p _CoqProject
 
 deps.pdf:
-	@ coqdep -dumpgraph deps.dot `sed '/COQLIB/d' _CoqProject` > /dev/null
+	@ $(COQBIN)coqdep -dumpgraph deps.dot `sed '/COQLIB/d' _CoqProject` > /dev/null
 	@ sed -i '/ext-lib/d' deps.dot
 	@ dot -Tpdf deps.dot -o deps.pdf