Your message dated Thu, 04 Feb 2021 10:34:58 +0000
with message-id <[email protected]>
and subject line Bug#976928: fixed in spass 3.9-1.1
has caused the Debian Bug report #976928,
regarding spass sometimes FTBFS due to race condition
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
976928: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=976928
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: spass
Version: 3.9-1
Severity: serious
Justification: FTBFS on ppc64el
Tags: bullseye sid ftbfs
Usertags: ftbfs-20201209 ftbfs-bullseye ftbfs-ppc64el
Hi,
During a rebuild of all packages in sid, your package failed to build
on ppc64el. At the same time, it did not fail on amd64.
I'm marking this bug as severity:serious since your package currently has
ppc64el binary packages in unstable (so this is a regression).
Relevant part (hopefully):
> gcc -pedantic -Wall -Wshadow -Wpointer-arith -Wwrite-strings -std=c99 -O2
> -Winline -Wno-implicit -Wno-uninitialized -c iascanner.c -o iascanner.o
> memory.c: In function ‘memory_PrintAllocatedBlocks’:
> memory.c:1430:20: warning: variable ‘BlockSize’ set but not used
> [-Wunused-but-set-variable]
> 1430 | unsigned int BlockSize; /* current block size
> */
> | ^~~~~~~~~
> memory.c:1428:20: warning: variable ‘ActEndOfPage’ set but not used
> [-Wunused-but-set-variable]
> 1428 | POINTER ActEndOfPage; /* end of current page
> */
> | ^~~~~~~~~~~~
> memory.c: In function ‘memory_PrintLeaks’:
> memory.c:1805:21: warning: variable ‘BlockSize’ set but not used
> [-Wunused-but-set-variable]
> 1805 | unsigned int BlockSize; /* total block size
> */
> | ^~~~~~~~~
> memory.c:1802:21: warning: variable ‘ActEndOfPage’ set but not used
> [-Wunused-but-set-variable]
> 1802 | POINTER ActEndOfPage; /* end of current page
> */
> | ^~~~~~~~~~~~
> memory.c:1801:21: warning: variable ‘ActNext’ set but not used
> [-Wunused-but-set-variable]
> 1801 | POINTER ActNext; /* next fresh block on current
> page */
> | ^~~~~~~
> sharing.c: In function ‘sharing_DeleteFromSharing’:
> sharing.c:672:8: warning: variable ‘IsIndexed’ set but not used
> [-Wunused-but-set-variable]
> 672 | BOOL IsIndexed;
> | ^~~~~~~~~
> order.c: In function ‘ord_LiteralCompareAux’:
> order.c:414:20: warning: variable ‘OLit2’ set but not used
> [-Wunused-but-set-variable]
> 414 | TERM OLit1,OLit2;
> | ^~~~~
> order.c:414:14: warning: variable ‘OLit1’ set but not used
> [-Wunused-but-set-variable]
> 414 | TERM OLit1,OLit2;
> | ^~~~~
> foldfg.c: In function ‘fol_CheckFatherLinks’:
> foldfg.c:1540:8: warning: variable ‘Result’ set but not used
> [-Wunused-but-set-variable]
> 1540 | TERM Result;
> | ^~~~~~
> flags.c: In function ‘flag_GetFlagStringValue’:
> flags.c:1231:10: warning: variable ‘IntValue’ set but not used
> [-Wunused-but-set-variable]
> 1231 | int IntValue;
> | ^~~~~~~~
> rules-split.c: In function ‘split_Backtrack’:
> rules-split.c:173:14: warning: variable ‘DeepestRightBranchLevel’ set but not
> used [-Wunused-but-set-variable]
> 173 | int DeepestRightBranchLevel =
> prfs_ComputeDeepestRightBranchLevel(PS);
> | ^~~~~~~~~~~~~~~~~~~~~~~
> iascanner.l:50:10: fatal error: iaparser.h: No such file or directory
> 50 | #include "iaparser.h"
> | ^~~~~~~~~~~~
> compilation terminated.
> make[1]: *** [makefile:239: iascanner.o] Error 1
The full build log is available from:
http://qa-logs.debian.net/2020/12/09/spass_3.9-1_unstable.log
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
If you reassign this bug to another package, please marking it as 'affects'-ing
this package. See https://www.debian.org/Bugs/server-control#affects
If you fail to reproduce this, please provide a build log and diff it with me
so that we can identify if something relevant changed in the meantime.
About the archive rebuild: The rebuild was done on a Power8 cluster part of the
Grid'5000 testbed. Hardware specs:
https://www.grid5000.fr/w/Grenoble:Hardware#drac
--- End Message ---
--- Begin Message ---
Source: spass
Source-Version: 3.9-1.1
Done: Adrian Bunk <[email protected]>
We believe that the bug you reported is fixed in the latest version of
spass, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Adrian Bunk <[email protected]> (supplier of updated spass package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Jan 2021 17:21:50 +0200
Source: spass
Architecture: source
Version: 3.9-1.1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<[email protected]>
Changed-By: Adrian Bunk <[email protected]>
Closes: 976928
Changes:
spass (3.9-1.1) unstable; urgency=medium
.
* Non-maintainer upload.
* Workaround parallel FTBFS by disabling parallel building.
(Closes: #976928)
Checksums-Sha1:
1f07c2c72a9ae75e0d8f46a2e37d7ad42dde7b56 2002 spass_3.9-1.1.dsc
33ae0bb1ba3782b7f6bd2fb3aede11a0b5ba99cc 3944 spass_3.9-1.1.debian.tar.xz
Checksums-Sha256:
a858ac125e15f54d66418c57ad02abf9b43c781295d640466e4d96c2a6ba4c12 2002
spass_3.9-1.1.dsc
e0b1d75f3cb79b9863571c644b52ec31d57874e030b2bf6dbbccb7c016424fcb 3944
spass_3.9-1.1.debian.tar.xz
Files:
0271dc40d5981f030ce3fb8441a0f90e 2002 science optional spass_3.9-1.1.dsc
90cd0bbd8499d837c5465c50efa45f01 3944 science optional
spass_3.9-1.1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAmAJnGIACgkQiNJCh6LY
mLHffQ//TQF73YTVO6/T+xlRqcb3ypLTZIbgyjeSxg/iCdCX6ynBuR5iHItMrmFL
0oBK2Z3hbvqrQiv2K/wMsgRenJltAUY4dJihq9iYz9JoRqbwLoyuLM5w4QuEjt4G
yELI6pVMX0ORhFsadru6Vuigz4n70G6yOelr5Ow/ZkaoCNb8kHBa99QAuAvEoUU3
PuA5v1DEx/NhAiEUmYyb3yNtFOe0UF9O9py70/sLkis/YwU+/SC3fyIQ7oOJ+IN8
e6vJZZGc30oBTW0S293FLK+858lfGca7a/xD/ZV8UlYMfSwjO0fV1St+AFxL7smP
TZ/3lfge9GVuiLn3BnAovStuHiwbMVln57eOWteXXHjcEL4Q5KbAfeFI4QkelVi/
rJO2Y4eIdooY8bsANASvwJ9MIhtxENmRmR5IKA2N2WUq/U3LsYLJF++JJiYXsbc3
1y8iJf4i96JlHHAgbxO9I+76G6NiEak7fzIB9GY/ixkpxgXeWR/ppOWpMZ+WKzXX
+Ogh9lpUwBdrLz1x+N/jxkudooiOvchLgbaBEhoHFZi1saNhzmmCpIy0XzZOfOZN
iWR6hg7pXrWFBuK/5jFAQrtdBnYWzbw5DKCLWKCl6JXS8vHTUFj/VV+mhLA9GqgO
glXpCHohrgy+3ohjkZThTcRUtNm4z1Y/2MrOXrYER4vu1hP2b/Q=
=0HYK
-----END PGP SIGNATURE-----
--- End Message ---
--
debian-science-maintainers mailing list
[email protected]
https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
