Bug#552959: ppl: FTBFS: build blocks

2009-11-11 Thread Israel Herraiz
I think that this problem is related to to the gmp package instead of ppl. After seeing this bug report, I have been doing some tests with the ppl package. Unfortunately I can not reproduce the bug, because my computer is i686 and I do not have access to an amd64 host. When configuring the ppl pa

Bug#552959: ppl: FTBFS: build blocks

2009-10-30 Thread Lucas Nussbaum
On 29/10/09 at 09:02 +0100, Michael Tautschnig wrote: > Hi! > > [...] > > > > if [ . != `pwd` ]; then \ > > > rm -f ppl_prolog_generated_test_common.pl; \ > > > fi > > > rm -f ppl_prolog_generated_test_main.pl; \ > > > diff -u --ignore-all-space ./../tests/expected_pgt obtained_pgt

Bug#552959: ppl: FTBFS: build blocks

2009-10-30 Thread Michael Tautschnig
Hi Lucas, Thanks a lot for the quick reply and precise information. [...] > > The fact that it blocks is reproducible. > > Output on the terminal: > % ppl_prolog_generated_test_main.pl compiled 0.18 sec, 2,099,112 bytes > % ./swi_prolog_generated_test compiled 0.18 sec, 2,104,128 bytes > true

Bug#552959: ppl: FTBFS: build blocks

2009-10-29 Thread Michael Tautschnig
Hi! [...] > > if [ . != `pwd` ]; then \ > > rm -f ppl_prolog_generated_test_common.pl; \ > > fi > > rm -f ppl_prolog_generated_test_main.pl; \ > > diff -u --ignore-all-space ./../tests/expected_pgt obtained_pgt > > make[7]: *** [pl_check_test] Terminated > > make[3]: *** [check-

Bug#552959: ppl: FTBFS: build blocks

2009-10-28 Thread Lucas Nussbaum
Source: ppl Version: 0.10.2-3 Severity: serious User: debian...@lists.debian.org Usertags: qa-ftbfs-20091028 qa-ftbfs Justification: FTBFS on amd64 Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part: > make[7]: Entering directory > `/build/user-ppl