Bug#863224: acl2: build fails on mips (mips-aql-05)

[Héctor Orón Martínez]

Hello,

2017-05-26 15:41 GMT+02:00 Camm Maguire :
> Thanks!  Are you setting parallel fields in DEB_BUILD_OPTIONS?  If so
> can you try unsetting these temporarily?

This is a global switch, we cannot unset per package, however, you
should be able to disable parallel builds at package build level
(within the build rules).

Regards
-- 
 Héctor Orón  -.. . -... .. .- -.   -.. . ...- . .-.. --- .--. . .-.

Bug#863224: acl2: build fails on mips (mips-aql-05)

[Camm Maguire]

Greetings!

Héctor Orón Martínez  writes:

> Hello Camm,
>
> 2017-05-25 19:27 GMT+02:00 Camm Maguire :
>> How much memory is on the build machine?
>
> mips-aql-05:~$ free -h
>  total   used   free sharedbuffers cached
> Mem:  7,8G   1,6G   6,2G   8,4M 0B   1,4G
> -/+ buffers/cache:   216M   7,5G
> Swap:  95G 0B95G
>
> build-tmpfs   75G
> 075G   0% /srv/buildd
>

Thanks!  Are you setting parallel fields in DEB_BUILD_OPTIONS?  If so
can you try unsetting these temporarily?


>
>> Please note mipsel builds fine.  The log you report seems to indicate a
>> very tight build space and endless garbage collection.
>
> Note that mips64el fails as well, did you try to reproduce in a porterbox?
>

This is a separate linker issue and I am chasing it down now.

Take care,


> Regards
>
>
>
>

-- 
Camm Maguirec...@maguirefamily.org
==
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

Bug#863224: acl2: build fails on mips (mips-aql-05)

[Héctor Orón Martínez]

Hello Camm,

2017-05-25 19:27 GMT+02:00 Camm Maguire :
> How much memory is on the build machine?

mips-aql-05:~$ free -h
 total   used   free sharedbuffers cached
Mem:  7,8G   1,6G   6,2G   8,4M 0B   1,4G
-/+ buffers/cache:   216M   7,5G
Swap:  95G 0B95G

build-tmpfs   75G
075G   0% /srv/buildd


> Please note mipsel builds fine.  The log you report seems to indicate a
> very tight build space and endless garbage collection.

Note that mips64el fails as well, did you try to reproduce in a porterbox?

Regards

Bug#863224: acl2: build fails on mips (mips-aql-05)

[Camm Maguire]

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  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 Maguirec...@maguirefamily.org
==
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah