[Bug 384758] Re: [ftbfs] matita0.5.7-2 fails to build for i386 in karmic
** Changed in: matita (Debian) Status: New => Fix Released -- [ftbfs] matita0.5.7-2 fails to build for i386 in karmic https://bugs.launchpad.net/bugs/384758 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 384758] Re: [ftbfs] matita0.5.7-2 fails to build for i386 in karmic
** Changed in: matita (Debian) Status: Fix Committed => New -- [ftbfs] matita0.5.7-2 fails to build for i386 in karmic https://bugs.launchpad.net/bugs/384758 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 384758] Re: [ftbfs] matita0.5.7-2 fails to build for i386 in karmic
** Changed in: matita (Debian) Status: New => Fix Committed -- [ftbfs] matita0.5.7-2 fails to build for i386 in karmic https://bugs.launchpad.net/bugs/384758 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 384758] Re: [ftbfs] matita0.5.7-2 fails to build for i386 in karmic
removing u-u-s. No sponsorship seems to be needed. -- [ftbfs] matita0.5.7-2 fails to build for i386 in karmic https://bugs.launchpad.net/bugs/384758 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 384758] Re: [ftbfs] matita0.5.7-2 fails to build for i386 in karmic
** Branch linked: lp:ubuntu/karmic/matita -- [ftbfs] matita0.5.7-2 fails to build for i386 in karmic https://bugs.launchpad.net/bugs/384758 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 384758] Re: [ftbfs] matita0.5.7-2 fails to build for i386 in karmic
This bug was fixed in the package matita - 0.5.7-2ubuntu1
---
matita (0.5.7-2ubuntu1) karmic; urgency=low
* Fix FTBFS: (LP: #384758)
- debian/patches/nonet.dpatch: use --nonet calling xsltproc to generate
docs
- debian/control: added build-dependency to docbook-{xsl,xml} packages
-- Andrea GaspariniSat, 06 Jun 2009 09:55:37
+0200
** Changed in: matita (Ubuntu)
Status: Confirmed => Fix Released
--
[ftbfs] matita0.5.7-2 fails to build for i386 in karmic
https://bugs.launchpad.net/bugs/384758
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 384758] Re: [ftbfs] matita0.5.7-2 fails to build for i386 in karmic
what? Yep, really weird... what kind of builder are you using?! Imho is more probably an issue of your builder, than the package... could you try with another one? perhaps somelike like pbuilder more than just ppa, given that I tried the latter. -- [ftbfs] matita0.5.7-2 fails to build for i386 in karmic https://bugs.launchpad.net/bugs/384758 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 384758] Re: [ftbfs] matita0.5.7-2 fails to build for i386 in karmic
I still get FTBFS on the patched package. The build fails with a very strange error: matitac demo/power_derivative.maOK 0m08.60s 0m04.79s 0m00.05s mv: cannot move `/dev/shm/matita.db.builder._build_mok-matita_0_5_7-2ubuntu1-amd64-j0N5Mn_matita-0_5_7-2ubuntu1_debian_tmp___usr_share_matita__matita.26767' to `/build/mok-matita_0.5.7-2ubuntu1-amd64-j0N5Mn/matita-0.5.7-2ubuntu1/debian/tmp///usr/share/matita/.matita/user.db': No such file or directory destroy Fatal error: out of memory. My rig has 6Gb of RAM. This is weird. -- [ftbfs] matita0.5.7-2 fails to build for i386 in karmic https://bugs.launchpad.net/bugs/384758 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 384758] Re: [ftbfs] matita0.5.7-2 fails to build for i386 in karmic
Attaching a debdiff that should fix the ftbfs. Here's a builg log in karmic environment: https://edge.launchpad.net/~gaspa/+archive/ppa/+build/1067361/+files/buildlog_ubuntu-karmic-i386.matita_0.5.7-2~ppa6_FULLYBUILT.txt.gz ** Attachment added: "matita_0.5.7-2ubuntu1.debdiff" http://launchpadlibrarian.net/27693945/matita_0.5.7-2ubuntu1.debdiff ** Changed in: matita (Ubuntu) Status: In Progress => Confirmed ** Changed in: matita (Ubuntu) Assignee: Andrea Gasparini (gaspa) => (unassigned) -- [ftbfs] matita0.5.7-2 fails to build for i386 in karmic https://bugs.launchpad.net/bugs/384758 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 384758] Re: [ftbfs] matita0.5.7-2 fails to build for i386 in karmic
** Changed in: matita (Debian) Status: Unknown => New -- [ftbfs] matita0.5.7-2 fails to build for i386 in karmic https://bugs.launchpad.net/bugs/384758 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
