From 46330661210f8e535179cf837fe4b53de9133571 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 2 Apr 2015 14:02:15 +0200
Subject: The right way to ignore the plugin directory

---
 mathcomp/ssreflect/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp')

diff --git a/mathcomp/ssreflect/Makefile b/mathcomp/ssreflect/Makefile
index 12c71fc..6fd7ad0 100644
--- a/mathcomp/ssreflect/Makefile
+++ b/mathcomp/ssreflect/Makefile
@@ -25,7 +25,7 @@ MAKEFLAGS+=-B
 # via coqdep
 	$(H)MAKEFLAGS=$(OLD_MAKEFLAGS) $(MAKE) --no-print-directory \
 		-f Makefile.coq $* \
-		COQLIBS='-I . -R . mathcomp.ssreflect'
+		COQDEP='$(COQBIN)/coqdep -exclude-dir plugin -c'
 
 define coqmakefile
 	(echo "Generating Makefile.coq for Coq $(V) with COQBIN=$(COQBIN)";\
-- 
cgit v1.2.3