[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#532289: matita fails to build in a non-networking environment.

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 pbuilder/chroot, I've not one ATM)
> In your attached build-log, I don't see apt-get installing docbook-xsl!
> Have you added the patch?

Ah, you're right. I thought that could be enough just to put the file 
.dpatch in debian/patches... I miss that debian/control need to be patched 
apart ;)

-------- https://launchpad.net/~gaspa ---------
------ HomePage: iogaspa.altervista.org -------
-Il lunedi'dell'arrampicatore: www.lunedi.org -

Reply to: