v8.2: Applying Xavier Leroy's patch for cmxs installation on cygwin (#…

…3843).
coq · Jan 29, 2015 · 7cc6466 · 7cc6466
1 parent 06d66df
commit 7cc6466
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/configure b/configure
@@ -298,8 +298,11 @@ esac
 
 # executable extension
 
-case $ARCH in
-    win32) 
+case "$ARCH,$CYGWIN" in
+    win32,yes)
+      EXE=".exe"
+      DLLEXT=".so";;
+    win32,*)
       EXE=".exe"
       DLLEXT=".dll";;
     *) EXE=""