** 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
** 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
** 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
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
** 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
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
** 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
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
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
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
10 matches
Mail list logo