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/Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'mathcomp/Makefile')

diff --git a/mathcomp/Makefile b/mathcomp/Makefile
index 2acfa83..9064020 100644
--- a/mathcomp/Makefile
+++ b/mathcomp/Makefile
@@ -9,7 +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
+# and SSR is set to the directory of the ssreflect package
+PLUGIN=../plugin
 SSR=ssreflect
 include ssreflect/Makefile.detect-coq-version
 COQMAKEFILEOPTIONS=$(MLLIBEXTRA)
-- 
cgit v1.2.3