From 481a2a3bb4902f02e816cfab162e9d88d7ce76b5 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 21 Jan 2016 16:56:48 +0100
Subject: build script is now cygwin friendly

symlinks are not first class citizens on windows
---
 mathcomp/ssreflect/Makefile.coq-makefile | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'mathcomp')

diff --git a/mathcomp/ssreflect/Makefile.coq-makefile b/mathcomp/ssreflect/Makefile.coq-makefile
index 9cce300..52beace 100644
--- a/mathcomp/ssreflect/Makefile.coq-makefile
+++ b/mathcomp/ssreflect/Makefile.coq-makefile
@@ -1,9 +1,10 @@
 define coqmakefile
 	(echo "Generating Makefile.coq for Coq $(V) with COQBIN=$(COQBIN)";\
-	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 .;\
+	if [ "$$OS" = "Windows_NT" ]; then LN=cp; else LN="ln -sf"; fi;\
+	$$LN $(1)/plugin/$(V)/ssreflect.mllib .;\
+	$$LN $(1)/plugin/$(V)/ssrmatching.mli .;\
+	$$LN $(1)/plugin/$(V)/ssrmatching.ml4 .;\
+	$$LN $(1)/plugin/$(V)/ssreflect.ml4 .;\
 	$(COQBIN)coq_makefile -f Make -o Makefile.coq)
 endef
 
-- 
cgit v1.2.3