Andrea Gasparini wrote: > Package: matita > version: 0.5.7-2 > severity: wishlist > > Matita fails to build in a non-networking environment, cause it attempts to > download an .xsl file in order to generate documentation. > ( reasons for failing only in i386 arch, in fact...) >
I assume that telling xsltproc to not use network is enough to solve the problem. Attached, a patch that does that. HTH, -- Mehdi Dogguy مهدي الدڤي http://www.pps.jussieu.fr/~dogguy Tel.: (+33).1.44.27.28.38
#! /bin/sh /usr/share/dpatch/dpatch-run ## nonet.dpatch by Mehdi Dogguy <dog...@pps.jussieu.fr> ## ## DP: Don't use network when building help documents. @DPATCH@ diff -urNad trunk~/debian/control trunk/debian/control --- trunk~/debian/control 2009-02-18 12:27:33.000000000 +0100 +++ trunk/debian/control 2009-06-08 14:01:44.000000000 +0200 @@ -4,7 +4,7 @@ Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Uploaders: Enrico Tassi <gareuselesi...@debian.org>, Stefano Zacchiroli <z...@debian.org> Build-Depends: ocaml (>= 3.10.2), ocaml-findlib (>= 1.2.1-2), libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev (>= 0.7.8-3), libsqlite3-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08 (>= 0.8-4), libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev, camlp5 (>= 5.04), liblablgtksourceview-ocaml-dev, dpatch, help2man, libgtkmathview-dev (>= 0.8.0-2) -Build-Depends-Indep: xsltproc, dblatex +Build-Depends-Indep: xsltproc, dblatex, docbook-xsl, docbook-xml Standards-Version: 3.8.0 Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/matita/trunk Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/ diff -urNad trunk~/matita/help/C/Makefile trunk/matita/help/C/Makefile --- trunk~/matita/help/C/Makefile 2008-11-25 20:15:53.000000000 +0100 +++ trunk/matita/help/C/Makefile 2009-06-08 14:01:30.000000000 +0200 @@ -1,7 +1,7 @@ include ../../../Makefile.defs -XSLTPROC=xsltproc +XSLTPROC=xsltproc --nonet XHTML_XSL=xsl/matita-xhtml.xsl MAIN=matita.xml DEPS := $(wildcard *.xml)