diff options
author | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-12-23 17:21:36 +0000 |
---|---|---|
committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-12-23 17:21:36 +0000 |
commit | 29cbb43c374ee167ef64f2d77d1be772ed7e95f9 (patch) | |
tree | d886803263cb290d3bf544a2a97146f41404e92f /configure | |
parent | 3d931ab58b2bdd977c3e6c811619f68d8bc66c1f (diff) |
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
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 17 |
1 files changed, 9 insertions, 8 deletions
@@ -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 |