From 627a5556a079eceb5d4d56562a135d4e2ab13413 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 29 Jul 2015 10:54:02 +0200
Subject: fix Makefiles

---
 mathcomp/ssreflect/Makefile.coq-makefile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'mathcomp/ssreflect/Makefile.coq-makefile')

diff --git a/mathcomp/ssreflect/Makefile.coq-makefile b/mathcomp/ssreflect/Makefile.coq-makefile
index 99f3d6b..9cce300 100644
--- a/mathcomp/ssreflect/Makefile.coq-makefile
+++ b/mathcomp/ssreflect/Makefile.coq-makefile
@@ -1,9 +1,9 @@
 define coqmakefile
 	(echo "Generating Makefile.coq for Coq $(V) with COQBIN=$(COQBIN)";\
-	ln -sf plugin/$(V)/ssreflect.mllib .;\
-	ln -sf plugin/$(V)/ssrmatching.mli .;\
-	ln -sf plugin/$(V)/ssrmatching.ml4 .;\
-	ln -sf plugin/$(V)/ssreflect.ml4 .;\
+	ln -sf $(1)/plugin/$(V)/ssreflect.mllib .;\
+	ln -sf $(1)/plugin/$(V)/ssrmatching.mli .;\
+	ln -sf $(1)/plugin/$(V)/ssrmatching.ml4 .;\
+	ln -sf $(1)/plugin/$(V)/ssreflect.ml4 .;\
 	$(COQBIN)coq_makefile -f Make -o Makefile.coq)
 endef
 
-- 
cgit v1.2.3