From: rrt <unknown>
Date: Tue, 10 Jul 2001 11:21:05 +0000 (+0000)
Subject: [project @ 2001-07-10 11:21:05 by rrt]
X-Git-Tag: Approximately_9120_patches~1593
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=4a3b96735c9742cd1cb1592a7e7a45f6b065f8ef;p=ghc-hetmet.git

[project @ 2001-07-10 11:21:05 by rrt]
Fix jade detection on Windows for jades that don't understand Unix paths
---

diff --git a/configure.in b/configure.in
index 2e7f1ef..3c945a4 100644
--- a/configure.in
+++ b/configure.in
@@ -569,7 +569,14 @@ FPTOOLS_DOCBOOK_CATALOG(Catalog, $JadeCmd, docs/fptools-both.dsl,
 if test -z "$Catalog"; then
   AC_MSG_RESULT([Warning: You will not be able to build the documentation.])
 fi
-Catalog=$hardtop/$Catalog
+case $HostOS_CPP in
+   mingw32)
+      Catalog=`cygpath -w $hardtop/$Catalog`
+      ;;
+   *)
+      Catalog=$hardtop/$Catalog
+      ;;
+esac   
 AC_SUBST(Catalog)
 
 compress_nm=`basename $CompressCmd`