Raspbian Package Auto-Building

Buildd status for acl2 (bullseye-staging)

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.oSource

Package(s): Suite:
Compact mode Co-maintainers

ArchitectureVersionStatusForBuilddStateSectionLogsActions
Buildd exposure stats armhf  8.3dfsg-2Build-Attempted580d 19h 36mmb-lxc-01out-of-datemathold | all (4)giveback

Tail of log for acl2 on armhf:

/<<PKGBUILDDIR>>/translate.c:29690:11: warning: self-comparison always evaluates to false [-Wtautological-compare]
29690 |  if((Cnil)!=Cnil){
      |           ^~
/<<PKGBUILDDIR>>/translate.c:30013:11: warning: self-comparison always evaluates to false [-Wtautological-compare]
30013 |  if((Cnil)!=Cnil){
      |           ^~
/<<PKGBUILDDIR>>/translate.c:30264:11: warning: self-comparison always evaluates to true [-Wtautological-compare]
30264 |  if((Cnil)==Cnil){
      |           ^~
Illegal instruction (core dumped)
make[2]: *** [GNUmakefile:407: compile] Error 132
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: *** [GNUmakefile:397: full] Error 2
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
make: *** [debian/rules:79: saved_acl2] Error 2