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 shou
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 no
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
> of a remote stylesheet. Without net, the import can
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
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 15:3
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
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
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
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
##
## DP: Don't use network when building help documents.
@DPATCH@
diff -urNad trunk~/debian/control trunk/debia
> 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 matita/help/C/xsl/matita-xh
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 patc
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
of a remote stylesheet. Without net, the import can only
fail. Even if xsltproc has a fa
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 t
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 give
14 matches
Mail list logo
