CVS build failure

[Sven Panne]

Peter Simons wrote:
> And some more information on the issue. When I run the
> configure script, I see this error message on the screen
> (which probably won't make it into the config.log output):
> 
>  | checking for xmllint... /usr/bin/xmllint
>  | checking for DocBook DTD... ok
>  | checking for xsltproc... /usr/bin/xsltproc
>  | checking for DocBook XSL stylesheet directory...
>  |      ./configure: line 4557: 22276 Segmentation fault
>  |      $XsltprocCmd ${fp_var}/html/docbook.xsl conftest.xml
>  |      >/dev/null 2>&1
>  | no
>  | configure: WARNING: cannot find DocBook XSL stylesheets,
>  |      you will not be able to build the documentation
> 
> The xsl stylesheets are installed at
> 
>   /usr/share/sgml/docbook/xsl-stylesheets-1.65.1/
> 
> on my machine, so configure _should_ find them.

Hmmm, a segfault while running xsltproc looks like a problem with
your setup (a Gentoo system). Are you able to run xsltproc with
the HTML DocBook stylesheet on a simple document by hand? And the
hardcore way of debugging would be

    sh -x ./configure <whatever you use>

and make the output available.

Cheers,
    S.