From e374f84c7d2eecff0625551ea3a4597db73d62b2 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 23 Jan 2018 17:17:39 +0100
Subject: [PATCH] actually no need to set COQBIN default, it turns out

---
 Makefile | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/Makefile b/Makefile
index a13193656..2aa31aa00 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,3 @@
-ifeq "$(COQBIN)" ""
-  COQBIN=$(dir $(shell which coqtop))/
-endif
-
 # Forward most targets to Coq makefile (with some trick to make this phony)
 %: Makefile.coq phony
 	+@make -f Makefile.coq $@
-- 
GitLab