Greetings, and thanks for your report! How much memory is on the build machine?
Please note mipsel builds fine. The log you report seems to indicate a very tight build space and endless garbage collection..... Take care, Héctor Orón Martínez <hector.o...@gmail.com> writes: > Source: acl2 > Version: 7.4dfsg-1 > Severity: important > > Dear Maintainer, > > * What led up to the situation? > Building acl2_7.4dfsg-1 on mips architecture official buildd > (mips-aql-05), the build was running since May 10th, 2017 until May > 23rd, 2017; a build job named `saved_acl2' was taking about 100% of > cputime and spinning in loops. > > * What exactly did you do (or not do) that was effective (or ineffective)? > I have killed the build for acl2 at that build daemon, and > started one more build at mips-manda-01, however if the builds fails > again I'll raise severity of this issue to RC. > > * What was the outcome of this action? > If the builds fails again I'll raise severity of this issue to RC. > > * What outcome did you expect instead? > If you could please verify the build in mips porterbox, that > should help to find the root cause. > > In the test.log file, I found a glitch, note I killed saved_acl2 job > and then build proceeded until I killed it. > > Built /build/acl2-Pf0SA7/acl2-7.4dfsg/books/rtl/rel9/support/lib1/rtl.cert > (55.567s) > -rw-rw-r-- 1 buildd buildd 36449 May 12 03:20 rtl.cert > ls: cannot access 'edgesynth.cert': No such file or directory > **CERTIFICATION FAILED** for > /build/acl2-Pf0SA7/acl2-7.4dfsg/books/centaur/vl2014/transforms/always/edgesynth.lisp > > | [GC for 33 RELOCATABLE-BLOCKS pages..(T=446).GC finished] > | Toggling relblock when resizing hole to 20 > | [GC for 33 RELOCATABLE-BLOCKS pages..(T=448).GC finished] > | Toggling relblock when resizing hole to 20 > | [GC for 33 RELOCATABLE-BLOCKS pages..(T=446).GC finished] > | Toggling relblock when resizing hole to 20 > [...] > | Toggling relblock when resizing hole to 20 > | [GC for 33 RELOCATABLE-BLOCKS pages..Exit code from ACL2 is 137 > | edgesynth.cert seems to be missing > > > **CERTIFICATION FAILED** for > /build/acl2-Pf0SA7/acl2-7.4dfsg/books/centaur/vl2014/transforms/always/edgesynth.lisp > > /build/acl2-Pf0SA7/acl2-7.4dfsg/books/build/make_cert:116: recipe for > target 'centaur/vl2014/transforms/always/edgesynth.cert' failed > make[2]: *** [centaur/vl2014/transforms/always/edgesynth.cert] Error 1 > Making /build/acl2-Pf0SA7/acl2-7.4dfsg/books/coi/gacc/bits.cert on > 23-May-2017 21:39:48 > Making /build/acl2-Pf0SA7/acl2-7.4dfsg/books/rtl/rel9/support/lib1/basic.cert > on 23-May-2017 21:39:48 > Built /build/acl2-Pf0SA7/acl2-7.4dfsg/books/coi/gacc/bits.cert (21.785s) > > > Find attached a list of running processes for your build as well as test.log > > > -- System Information: > Debian Release: 9.0 > APT prefers unstable > APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental') > Architecture: amd64 > (x86_64) > > Kernel: Linux 4.9.0-3-amd64 (SMP w/4 CPU cores) > Locale: LANG=ca_AD.UTF-8, LC_CTYPE=ca_AD.UTF-8 (charmap=UTF-8) > Shell: /bin/sh linked to /bin/dash > Init: systemd (via /run/systemd/system) -- Camm Maguire c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah