Bug#532289: matita fails to build in a non-networking environment.
Stefano Zacchiroli wrote:
> On Mon, Jun 08, 2009 at 02:06:25PM +0200, Mehdi Dogguy wrote:
>> I assume that telling xsltproc to not use network is enough to solve
>> the problem.
>
> I seriously doubt it's enough, as the incriminated line is a
> <xsl:import> of a remote stylesheet. Without net, the import can only
> fail. Even if xsltproc has a fallback semantics of ignoring failed
> imports (which I doubt), the transformation would be very different,
> if possible at all.
>
After some investigation and with the help of Julien, it appears to be the
case. xsltproc has a fallback semantics: it looks in its catalogs before
downloading the DTD.
open("/usr/share/xml/docbook/schema/dtd/4.1.2/catalog.xml",
O_RDONLY|O_LARGEFILE) = 6
open("/usr/share/xml/docbook/schema/dtd/4.1.2/docbookx.dtd",
O_RDONLY|O_LARGEFILE) = 6
open("/usr/share/xml/docbook/stylesheet/docbook-xsl/xhtml/chunk.xsl",
O_RDONLY|O_LARGEFILE) = 5
and the transformation would still be the same…
Hence, it's really enough to fix the build failure. No need to patch the
xml files at all. All you have to do is to make sure the DTDs are on the
disk and that the catalog mentions them. My first patch does that.
Cheers.
--
Mehdi Dogguy مهدي الدڤي
http://www.pps.jussieu.fr/~dogguy
Tel.: (+33).1.44.27.28.38
Reply to: