From 5892b9b06ec9cd16584c4c56884949c23949cffe Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Tue, 31 Jul 2018 16:06:28 +0200
Subject: change coqdep

---
 mathcomp/ssreflect/Makefile | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'mathcomp')

diff --git a/mathcomp/ssreflect/Makefile b/mathcomp/ssreflect/Makefile
index 2c1fc01..8587073 100644
--- a/mathcomp/ssreflect/Makefile
+++ b/mathcomp/ssreflect/Makefile
@@ -2,6 +2,8 @@
 
 # setting variables
 COQPROJECT?=Make
+BEFOREMAKEFILES+=Makefile.coqdep
+OTHERCLEAN+=Makefile.coqdep
 COQMAKEOPTIONS=--no-print-directory
 
 # Main Makefile
@@ -13,3 +15,6 @@ include ../Makefile.common
 SSR=.
 include Makefile.detect-coq-version
 COQMAKEFILEOPTIONS=$(MLLIBEXTRA)
+
+Makefile.coqdep:
+	echo "COQDEP=$(COQDEP) -exclude-dir ssreflect/plugin -c" > Makefile.coqdep
-- 
cgit v1.2.3