From 29cbb43c374ee167ef64f2d77d1be772ed7e95f9 Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 23 Dec 2011 17:21:36 +0000
Subject: Configure: the backslashes in win32 paths should be escaped

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14848 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 configure | 17 +++++++++--------
 1 file changed, 9 insertions(+), 8 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index fa1c9f111..2349000e5 100755
--- a/configure
+++ b/configure
@@ -738,14 +738,15 @@ esac
 
 case $ARCH$CYGWIN in
   win32)
-	 bindir_def='C:\coq\bin'
-	 libdir_def='C:\coq\lib'
-	 configdir_def='C:\coq\config'
-	 datadir_def='C:\coq\data'
-	 mandir_def='C:\coq\man'
-	 docdir_def='C:\coq\doc'
-	 emacslib_def='C:\coq\emacs'
-         coqdocdir_def='C:\coq\latex';;
+	 W32PREF='C:\\coq\\'
+	 bindir_def=${W32PREF}bin
+	 libdir_def=${W32PREF}lib
+	 configdir_def=${W32PREF}config
+	 datadir_def=${W32PREF}data
+	 mandir_def=${W32PREF}man
+	 docdir_def=${W32PREF}doc
+	 emacslib_def=${W32PREF}emacs
+         coqdocdir_def=${W32PREF}latex;;
   *)
 	 bindir_def=/usr/local/bin
 	 libdir_def=/usr/local/lib/coq
-- 
cgit v1.2.3