From 3b749db7225569fdc459892c3c4ded08e5f96940 Mon Sep 17 00:00:00 2001
From: pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 17 Oct 2012 22:39:19 +0000
Subject: Cygwin gcc do not accept -mno-cygwin anymore

As far as I understand, the standard gcc in cygwin is not able anymore to build
non cygwin executable. There is instead a special package with a special gcc that
compiles executable that can be used out of cygwin.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15907 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 configure | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index 165a69cea..56d118697 100755
--- a/configure
+++ b/configure
@@ -594,16 +594,13 @@ esac
 # OS dependent libraries
 
 OSDEPLIBS="-cclib -lunix"
-case $ARCH,$CYGWIN in
+case $ARCH in
   sun4*) OS=`uname -r`
 	case $OS in
 	   5*) OS="Sun Solaris $OS"
 	       OSDEPLIBS="$OSDEPLIBS -cclib -lnsl -cclib -lsocket";;
 	   *) OS="Sun OS $OS"
         esac;;
-  win32,yes) OS="Win32 (Cygwin)"
-	 cflags="-mno-cygwin $cflags";;
-  win32,*) OS="Win32 (MinGW)";;
 esac
 
 # lablgtk2 and CoqIDE
-- 
cgit v1.2.3