From 09b917593e90233d7a55610e9ce7886de77ef576 Mon Sep 17 00:00:00 2001
From: James R. Wilcox
Date: Sat, 24 Nov 2018 13:22:50 -0800
Subject: tests/Makefile: support unset COQBIN, like top-level Makefile does

---
 tests/Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tests/Makefile b/tests/Makefile
index 9370b063f8..37915e0d6f 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -1,3 +1,7 @@
+ifeq "$(COQBIN)" ""
+  COQBIN=$(dir $(shell which coqtop))/
+endif
+
 all: $(patsubst %.v,%.v.log,$(wildcard *.v))
 
 %.v.log: %.v
-- 
cgit v1.2.3