X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=configure.ac;h=f7841b84dd2906995d706a485e430ea8647f43a3;hb=fa93dff5b78e422d2d3abcc99f3918f6726a6719;hp=ecefbe2370a0a727fe6c92a559406e6a638349c5;hpb=94b639b85d1d3410250e46888c16e06661dcfed7;p=ghc-hetmet.git

diff --git a/configure.ac b/configure.ac
index ecefbe2..f7841b8 100644
--- a/configure.ac
+++ b/configure.ac
@@ -613,12 +613,7 @@ AC_ARG_WITH(gcc,
        fi
  fi;
  CC="$withval"],
-[if test "x$HostPlatform" = "xi386-unknown-mingw32"
-    then
-    WhatGccIsCalled=`which gcc`
-    else
-    WhatGccIsCalled="gcc"
- fi;]
+[WhatGccIsCalled="gcc"]
 )
 AC_SUBST(WhatGccIsCalled)
 
@@ -859,6 +854,11 @@ dnl ** check for tar
 dnl   if GNU tar is named gtar, look for it first.
 AC_PATH_PROGS(TarCmd,gtar tar,tar)
 
+dnl ** check for DocBook toolchain
+FP_CHECK_DOCBOOK_DTD
+FP_DIR_DOCBOOK_XSL([/usr/share/xml/docbook/stylesheet/nwalsh/current /usr/share/sgml/docbook/docbook-xsl-stylesheets* /opt/kde?/share/apps/ksgmltools2/docbook/xsl /usr/share/docbook-xsl /usr/share/sgml/docbkxsl])
+FP_PROG_FO_PROCESSOR
+
 dnl ** check for jade/openjade & determine a working catalog
 AC_PATH_PROGS(JadeCmd,openjade jade,jade)
 FPTOOLS_DOCBOOK_CATALOG(Catalog, $JadeCmd, docs/fptools-both.dsl, 
@@ -1037,7 +1037,7 @@ AC_CHECK_HEADER(malloc.h,[AC_CHECK_FUNCS(valloc)])
 
 dnl ** check for POSIX regex
 HavePosixRegex=NO
-AC_CHECK_HEADERS(regex.h,[AC_CHECK_FUNC(regcomp, [HavePosixRegex=YES])])
+AC_CHECK_HEADERS(regex.h,[AC_CHECK_FUNCS(regcomp, [HavePosixRegex=YES])])
 AC_SUBST(HavePosixRegex)
 
 dnl ** how do we get a timezone name, and UTC offset ?