X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=configure.in;h=6aadb65ba5097fd17a3fb5381fdd59235b640c4a;hb=2772264a7e053f4624c98f0982bd8d07ad990f25;hp=7cd1686014fd453eb52dcd34cb3df4136feb8bf0;hpb=b2521fa3b7199723a674b6d06978d33cdd293d07;p=ghc-hetmet.git

diff --git a/configure.in b/configure.in
index 7cd1686..6aadb65 100644
--- a/configure.in
+++ b/configure.in
@@ -46,6 +46,7 @@ echo ''
 echo "*** The top of your build tree is: $hardtop"
 AC_SUBST(hardtop)
 
+
 dnl--------------------------------------------------------------------
 dnl * Choose host(/target/build) platform
 dnl--------------------------------------------------------------------
@@ -336,6 +337,19 @@ dnl AC_SUBST(TargetVendor_CPP)
 
 AC_SUBST(exeext)
 
+#
+# The native format for 'hardtop' (i.e., right kind of slashes on a Win32 box).
+# (but with b-slashes being escaped).
+case $HostPlatform in
+  i386-unknown-mingw32 | i386-unknown-cygwin32)
+  	hardtop_plat=`cygpath -w ${hardtop} | sed -e 's@\\\\@\\\\\\\\@g' `
+	;;
+  *)
+  	hardtop_plat=${hardtop}
+	;;
+esac
+AC_SUBST(hardtop_plat)
+
 dnl --------------------------------------------------------------
 dnl * Project specific configuration options
 dnl --------------------------------------------------------------