severity 532289 serious
thanks
On 08/06/09 at 11:56 +0200, 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.
Hi,
This should
Andrea Gasparini wrote:
Using it, I was able to build matita without network (the documentation
was correctly built, I didn't wait for tests to finish).
Still fail for me, se the attached log.
( please note it's not a Debian pbuilder/chroot, I've not one ATM)
In your attached build-log, I
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
Mehdi Dogguy spiffera, alle Tuesday 09 June 2009 circa:
Andrea Gasparini wrote:
Using it, I was able to build matita without network (the
documentation was correctly built, I didn't wait for tests to
finish).
Still fail for me, se the attached log.
( please note it's not a Debian
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 tried to build matita in my launchpad PPA, and it
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
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
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
Using it, I was able to build matita without network (the documentation
was correctly built, I didn't wait for tests to finish).
Still fail for me, se the attached log.
( please note it's not a Debian pbuilder/chroot, I've not one ATM)
I think you'd want to modify
Andrea Gasparini wrote:
I think you'd want to modify matita/help/C/xsl/matita-xhtml.xsl as well.
Right.
#! /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
On Mon, Jun 08, 2009 at 03:51:16PM +0200, Mehdi Dogguy wrote:
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).
I see
On Mon, Jun 8, 2009 at 15:51:16 +0200, Mehdi Dogguy wrote:
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.0 +0200
+++ trunk/matita/help/C/matita.xml2009-06-08 15:32:42.0 +0200
@@ -1,6
Enrico Tassi a écrit :
On Mon, Jun 08, 2009 at 03:51:16PM +0200, Mehdi Dogguy wrote:
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
Julien Cristau a écrit :
On Mon, Jun 8, 2009 at 15:51:16 +0200, Mehdi Dogguy wrote:
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.0 +0200
+++ trunk/matita/help/C/matita.xml 2009-06-08
14 matches
Mail list logo
