X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=configure.ac;h=f7841b84dd2906995d706a485e430ea8647f43a3;hb=228c47430e17c08ad7dcbd7141f05de36ecb2645;hp=a83db0fdcb4714b23d4096264ff6af78c35b3a38;hpb=c7b6fe940417b8ff6200c85690c6ee2c613767c8;p=ghc-hetmet.git

diff --git a/configure.ac b/configure.ac
index a83db0f..f7841b8 100644
--- a/configure.ac
+++ b/configure.ac
@@ -114,7 +114,7 @@ alpha*-unknown-openbsd*)
         HostVendor_CPP='unknown'
         HostOS_CPP='openbsd'
         ;;
-amd64*-*-openbsd*)
+amd64-*-openbsd*|x86_64-*-openbsd*)
 	HostPlatform=x86_64-unknown-openbsd
 	TargetPlatform=x86_64-unknown-openbsd
 	BuildPlatform=x86_64-unknown-openbsd
@@ -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 ?