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.
>
You're right. I forget to push one line in the patch.
So here is the updated patch attached.
Using it, I was able to build matita without network (the documentation
was correctly built, I didn't wait for tests to finish).
P.S.: Editing patches in Svn repositories is a real pain. Won't you
consider moving matita to Git?
Cheers,
--
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 <dogguy@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 15:30:22.000000000 +0200
@@ -4,7 +4,7 @@
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Enrico Tassi <gareuselesinge@debian.org>, Stefano Zacchiroli <zack@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 15:30:22.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)
diff -urNad trunk~/matita/help/C/matita.xml trunk/matita/help/C/matita.xml
--- trunk~/matita/help/C/matita.xml 2008-06-20 18:39:32.000000000 +0200
+++ trunk/matita/help/C/matita.xml 2009-06-08 15:32:42.000000000 +0200
@@ -1,6 +1,6 @@
<?xml version="1.0"?>
<!DOCTYPE book PUBLIC "-//OASIS//DTD DocBook XML V4.1.2//EN"
-"http://www.oasis-open.org/docbook/xml/4.1.2/docbookx.dtd"; [
+"/usr/share/xml/docbook/schema/dtd/4.1.2/docbookx.dtd" [
<!ENTITY legal SYSTEM "legal.xml">
<!ENTITY license SYSTEM "sec_license.xml">
Reply to: