make[1]: *** [theories/Numbers/HexadecimalPos.vo] Deleting file 'theories/Numbers/HexadecimalPos.glob' make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/coq-8.12.0-r1/work/coq-8.12.0' make: *** [Makefile.make:178: submake] Error 2 * ERROR: sci-mathematics/coq-8.12.0-r1::gentoo failed (compile phase): * emake failed * * If you need support, post the output of `emerge --info '=sci-mathematics/coq-8.12.0-r1::gentoo'`, ------------------------------------------------------------------- This is an stable amd64 chroot image at a tinderbox (==build bot) name: 17.1_desktop_gnome_systemd-j4_stable-20210918-182330 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-10.3.0 * clang version 12.0.1 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/12/bin /usr/lib/llvm/12 12.0.1 Python 3.9.6 Available Ruby profiles: [1] ruby26 (with Rubygems) * Available Rust versions: [1] rust-bin-1.53.0 [2] rust-1.53.0 * The following VMs are available for generation-2: [1] php7.3 [2] php7.4 * HEAD of ::gentoo commit ac35aa0a9afef810481a0dbe63db59dc325c6ca2 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Tue Sep 21 10:06:34 2021 +0000 2021-09-21 10:06:33 UTC emerge -qpvO sci-mathematics/coq [ebuild N ] sci-mathematics/coq-8.12.0-r1 USE="gtk ocamlopt -debug -doc"
Created attachment 740478 [details] emerge-info.txt
Created attachment 740481 [details] emerge-history.txt
Created attachment 740484 [details] environment
Created attachment 740487 [details] etc.portage.tar.bz2
Created attachment 740490 [details] sci-mathematics:coq-8.12.0-r1:20210921-111455.log
Created attachment 740493 [details] temp.tar.bz2
