diff options
author | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-02-11 14:39:16 +0000 |
---|---|---|
committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-02-11 14:39:16 +0000 |
commit | 55ce6f9a3187023cf429f287e8e8fd69acd142c4 (patch) | |
tree | 34860e17dc284a9f60d5ffdf86b031e396b79ee5 /configure | |
parent | 25e8fd4c7f0b6d58486c63b32f3a1f4d258a30cb (diff) |
Fix d'un petit problème de chemin sous Windows
(cherry picked from commit d2e131c0a013be5cb4674389e42a545f3fbf7b59)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11919 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -407,7 +407,7 @@ fi # Under Windows, OCaml only understands Windows filenames (C:\...) case $ARCH in - win32) CAMLBIN=`cygpath -w ${CAMLBIN}`;; + win32) CAMLBIN=`cygpath -m ${CAMLBIN}`;; esac # this fixes a camlp4 bug under FreeBSD @@ -694,7 +694,7 @@ esac # OCaml only understand Windows filenames (C:\...) case $ARCH in - win32) COQTOP=`cygpath -w ${COQTOP}` + win32) COQTOP=`cygpath -m ${COQTOP}` esac case $ARCH in @@ -898,7 +898,7 @@ case $ARCH in win32) ESCCOQTOP=`echo $COQTOP |sed -e 's|\\\|\\\\\\\|g'` ESCBINDIR=`echo $BINDIR |sed -e 's|\\\|\\\\\\\|g'` - ESCSRCDIR=`cygpath -d $COQSRC |sed -e 's|\\\|\\\\\\\|g'` + ESCSRCDIR=`cygpath -m $COQSRC |sed -e 's|\\\|\\\\\\\|g'` ESCLIBDIR=`echo $LIBDIR |sed -e 's|\\\|\\\\\\\|g'` ESCCAMLDIR=`echo $CAMLBIN |sed -e 's|\\\|\\\\\\\|g'` ESCCAMLLIB=`echo $CAMLLIB |sed -e 's|\\\|\\\\\\\|g'` |