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

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

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?

Mehdi Dogguy مهدي الدڤي
Tel.: (+33).

Reply to: