From 9d02da1c3d31c7599c7da3421f928d5aa9a5e816 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Thu, 7 Jul 2011 15:16:28 +0000
Subject: default install location under cygwin is the unix default

apply patch of bug 668. At last...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14266 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 configure | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/configure b/configure
index 611c222abb..0a76197406 100755
--- a/configure
+++ b/configure
@@ -292,6 +292,7 @@ case $arch_spec in
     # First we test if we are running a Cygwin system
     if [ `uname -s | cut -c -6` = "CYGWIN" ] ; then
 	ARCH="win32"
+	CYGWIN=yes
     else
 	# If not, we determine the architecture
 	if test -x /bin/uname ; then
@@ -722,7 +723,7 @@ case $ARCH in
     win32) COQTOP=`cygpath -m ${COQTOP}`
 esac
 
-case $ARCH in
+case $ARCH$CYGWIN in
   win32)
 	 bindir_def='C:\coq\bin'
 	 libdir_def='C:\coq\lib'
-- 
cgit v1.2.3