diff options
| -rw-r--r-- | configure.ac | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 84d6c6df05..66ed8a0b86 100644 --- a/configure.ac +++ b/configure.ac @@ -928,6 +928,15 @@ dnl if GNU tar is named gtar, look for it first. AC_PATH_PROGS(TarCmd,gtar tar,tar) AC_PATH_PROG(HSCOLOUR,HsColour) +# HsColour is passed to Cabal, so we need a native path +if test "x$HostPlatform" = "xi386-unknown-mingw32" + then + if test "${OSTYPE}" != "msys" + then + # Canonicalise to <drive>:/path/to/gcc + HSCOLOUR=`cygpath -w ${HSCOLOUR} | sed -e 's@\\\\@/@g' ` + fi +fi dnl ** check for DocBook toolchain FP_CHECK_DOCBOOK_DTD |