From fb7060ca71082911284ff6b388c3c45ef07c2723 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 13 Oct 2016 14:46:16 +0200
Subject: Make: avoid >> Make, pass args to coq_makefile instead (#77)

---
 mathcomp/ssreflect/Makefile.coq-makefile | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

(limited to 'mathcomp')

diff --git a/mathcomp/ssreflect/Makefile.coq-makefile b/mathcomp/ssreflect/Makefile.coq-makefile
index d815286..e4f12ad 100644
--- a/mathcomp/ssreflect/Makefile.coq-makefile
+++ b/mathcomp/ssreflect/Makefile.coq-makefile
@@ -1,23 +1,22 @@
 define coqmakefile
 	(echo "Generating Makefile.coq for Coq $(V) with COQBIN=$(COQBIN)";\
 	if [ "$$OS" = "Windows_NT" ]; then LN=cp; else LN="ln -sf"; fi;\
+	MLLIB=ssreflect_plugin.mlpack;\
+	EXTRA=;\
 	case $(V) in\
        	v8.5*|v8.4*)\
 		$$LN $(1)/plugin/$(V)/ssrmatching.mli .;\
 		$$LN $(1)/plugin/$(V)/ssrmatching.ml4 .;\
-		echo ssrmatching.mli >> Make;\
-		echo ssrmatching.ml4 >> Make;\
 		$$LN $(1)/plugin/$(V)/ssrmatching.v .;\
-		echo ssrmatching.v >> Make;\
 		$$LN $(1)/plugin/$(V)/ssreflect_plugin.mllib .;\
-		echo ssreflect_plugin.mllib >> Make;\
+		EXTRA="ssrmatching.mli ssrmatching.ml4 ssrmatching.v";\
+		MLLIB=ssreflect_plugin.mllib;\
 	;;\
 	*)\
 		$$LN $(1)/plugin/$(V)/ssreflect_plugin.mlpack .;\
-		echo ssreflect_plugin.mlpack >> Make;\
 	;;\
 	esac;\
 	$$LN $(1)/plugin/$(V)/ssreflect.ml4 .;\
-	$(COQBIN)coq_makefile -f Make -o Makefile.coq)
+	$(COQBIN)coq_makefile -f Make $$MLLIB $$EXTRA -o Makefile.coq)
 endef
 
-- 
cgit v1.2.3