Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 888964 - sci-mathematics/coq-8.12.0-r2 - builds hangs
Summary: sci-mathematics/coq-8.12.0-r2 - builds hangs
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2022-12-30 09:22 UTC by Toralf Förster
Modified: 2023-09-09 18:14 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments
emerge-info.txt (emerge-info.txt,18.08 KB, text/plain)
2022-12-30 09:24 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,112.97 KB, text/plain)
2022-12-30 09:24 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,19.49 KB, application/x-bzip)
2022-12-30 09:24 UTC, Toralf Förster
Details
sci-mathematics:coq-8.12.0-r2:20221230-065614.log (sci-mathematics:coq-8.12.0-r2:20221230-065614.log,96.29 KB, text/plain)
2022-12-30 09:24 UTC, Toralf Förster
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2022-12-30 09:22:48 UTC
init,1
  └─sudo,6986 /opt/tb/bin/bwrap.sh -m 17.1_no_multilib_hardened-j4-20221229-120038 -e /opt/tb/bin/job.sh
      └─bwrap.sh,7004 /opt/tb/bin/bwrap.sh -m 17.1_no_multilib_hardened-j4-20221229-120038 -e /opt/tb/bin/job.sh
          └─bwrap,7047 --clearenv --setenv HOME /root --setenv MAILTO tinderbox --setenv PATH /usr/sbin:/usr/bin:/sbin:/bin: --setenv SHELL /bin/bash --setenv TERM linux --hostname 17-1-no-
multilib-hardened-j4-20221229-120038 --die-with-parent --chdir /var/tmp/tb --unshare-cgroup --unshare-ipc --unshare-pid --unshare-uts --bind /home/tinderbox/img/17.1_no_multilib_hardened-j4
-20221229-120038 / --dev /dev --mqueue /dev/mqueue --perms 1777 --tmpfs /dev/shm --ro-bind /home/tinderbox/tb/sdata/ssmtp.conf /etc/ssmtp/ssmtp.conf --bind /home/tinderbox/tb/data /mnt/tb/d
ata --proc /proc --ro-bind /home/tinderbox/.bugzrc /root/.bugzrc --tmpfs /run --ro-bind /sys /sys --size 1073741824 --perms 1777 --tmpfs /tmp --bind /home/tinderbox/distfiles /var/cache/dis
tfiles --size 34359738368 --perms 1777 --tmpfs /var/tmp/portage /bin/bash -l -c /entrypoint
              └─bwrap,7050 --clearenv --setenv HOME /root --setenv MAILTO tinderbox --setenv PATH /usr/sbin:/usr/bin:/sbin:/bin: --setenv SHELL /bin/bash --setenv TERM linux --hostname 17-1
-no-multilib-hardened-j4-20221229-120038 --die-with-parent --chdir /var/tmp/tb --unshare-cgroup --unshare-ipc --unshare-pid --unshare-uts --bind /home/tinderbox/img/17.1_no_multilib_hardene
d-j4-20221229-120038 / --dev /dev --mqueue /dev/mqueue --perms 1777 --tmpfs /dev/shm --ro-bind /home/tinderbox/tb/sdata/ssmtp.conf /etc/ssmtp/ssmtp.conf --bind /home/tinderbox/tb/data /mnt/
tb/data --proc /proc --ro-bind /home/tinderbox/.bugzrc /root/.bugzrc --tmpfs /run --ro-bind /sys /sys --size 1073741824 --perms 1777 --tmpfs /tmp --bind /home/tinderbox/distfiles /var/cache
/distfiles --size 34359738368 --perms 1777 --tmpfs /var/tmp/portage /bin/bash -l -c /entrypoint
                  └─entrypoint,7055 /entrypoint
                      └─timeout,32362 --signal=15 --kill-after=5m 9h bash -c eval emerge --update sci-mathematics/gappalib-coq
                          └─bash,32364 -c eval emerge --update sci-mathematics/gappalib-coq
                              └─emerge,32366 /usr/lib/python-exec/python3.10/emerge --update sci-mathematics/gappalib-coq
                                  └─python3.10,9236 /usr/lib/portage/python3.10/pid-ns-init 11831
                                      └─python3.10,9240 /usr/lib/portage/python3.10/pid-ns-init 250 250 250 18 0,1,2 /usr/bin/sandbox [sci-mathematics/coq-8.12.0-r2] sandbox /usr/lib/portag
e/python3.10/ebuild.sh compile
                                          └─sandbox,9286,portage /usr/lib/portage/python3.10/ebuild.sh compile
                                              └─bash,9289 /usr/lib/portage/python3.10/ebuild.sh compile
                                                  └─bash,9323 /usr/lib/portage/python3.10/ebuild.sh compile
                                                      └─bash,9325 /usr/lib/portage/python3.10/ebuild-helpers/emake STRIP=true -j1 world VERBOSE=1
                                                          └─make,9331 -j4 STRIP=true -j1 world VERBOSE=1
                                                              └─make,9380 --warn-undefined-variable --no-builtin-rules -f Makefile.build world
Comment 1 Toralf Förster gentoo-dev 2022-12-30 09:24:07 UTC
appeared recently at the tinderbox image 17.1_no_multilib_hardened-j4-20221229-120038
Comment 2 Toralf Förster gentoo-dev 2022-12-30 09:24:08 UTC
Created attachment 845832 [details]
emerge-info.txt
Comment 3 Toralf Förster gentoo-dev 2022-12-30 09:24:09 UTC
Created attachment 845834 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2022-12-30 09:24:10 UTC
Created attachment 845836 [details]
etc.portage.tar.bz2
Comment 5 Toralf Förster gentoo-dev 2022-12-30 09:24:12 UTC
Created attachment 845838 [details]
sci-mathematics:coq-8.12.0-r2:20221230-065614.log
Comment 6 Larry the Git Cow gentoo-dev 2023-09-09 18:14:02 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2f2d44de2a3172289669f4f28daa46a7d8f76de5

commit 2f2d44de2a3172289669f4f28daa46a7d8f76de5
Author:     Maciej Barć <xgqt@gentoo.org>
AuthorDate: 2023-09-09 13:17:40 +0000
Commit:     Maciej Barć <xgqt@gentoo.org>
CommitDate: 2023-09-09 18:13:59 +0000

    sci-mathematics/coq: drop old 8.12.0-r2
    
    Closes: https://bugs.gentoo.org/888964
    Closes: https://bugs.gentoo.org/889278
    Signed-off-by: Maciej Barć <xgqt@gentoo.org>

 sci-mathematics/coq/Manifest             |  1 -
 sci-mathematics/coq/coq-8.12.0-r2.ebuild | 90 --------------------------------
 2 files changed, 91 deletions(-)