From 629a7a065146679f14f95abf1de63a7ff3a2eacc Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Tue, 31 Jul 2018 16:17:07 +0200
Subject: agressive fix for duplicated files!

---
 mathcomp/ssreflect/Makefile | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

(limited to 'mathcomp/ssreflect/Makefile')

diff --git a/mathcomp/ssreflect/Makefile b/mathcomp/ssreflect/Makefile
index 8587073..c3092fc 100644
--- a/mathcomp/ssreflect/Makefile
+++ b/mathcomp/ssreflect/Makefile
@@ -2,8 +2,6 @@
 
 # setting variables
 COQPROJECT?=Make
-BEFOREMAKEFILES+=Makefile.coqdep
-OTHERCLEAN+=Makefile.coqdep
 COQMAKEOPTIONS=--no-print-directory
 
 # Main Makefile
@@ -11,10 +9,9 @@ include ../Makefile.common
 
 # --------------------------------------------------------------------
 # this sets variable V (coq version) and MLLIBEXTRA
-# assuming SSR is set to the directory which contains the ssreflect package
+# assuming PLUGIN is set to the directory which contains the plugins
+PLUGIN=../../plugin/
 SSR=.
 include Makefile.detect-coq-version
-COQMAKEFILEOPTIONS=$(MLLIBEXTRA)
 
-Makefile.coqdep:
-	echo "COQDEP=$(COQDEP) -exclude-dir ssreflect/plugin -c" > Makefile.coqdep
+COQMAKEFILEOPTIONS=$(MLLIBEXTRA)
-- 
cgit v1.2.3