Bug#532289: matita fails to build in a non-networking environment.
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 href="/usr...", shouldn't it be href="file:///usr/..." ?
> P.S.: Editing patches in Svn repositories is a real pain. Won't you
> consider moving matita to Git?
I'm not claiming that svn is sperior to git, but the following 3 lines
do the job for me... which workflow makes it so annoying?
svn-buildpackage -S -us -uc
sudo pbuilder build ../build-area/*.dsc
In any case the package will be moved to git at some point, since
it is the new trend among ocaml maintainers.