too long lines were shrinked: flock .dune.lock dune build --display=quiet --release _build/default/plugins/syntax/number_string_notation_plugin.cmxs flock .dune.lock dune build --display=quiet --release _build/default/plugins/ltac/tauto_plugin.cmxs ocamlopt vernac/.vernac.objs/native/g_vernac.{cmx,o} (exit 2) (cd _build/default && /usr/bin/ocamlopt.opt -w -40 -rectypes -g -O3 -unbox-closures -I vernac/.vernac.objs/byte -I vernac/.vernac.objs/native -I /usr/lib64/ocaml/threads -I /usr/lib64/ocaml/zarith -I boot/.boot.objs/byte -I boot/.boot.objs/native -I clib/.clib.objs/byte -I clib/.clib.objs/native -I Fatal error: exception Stack overflow make[1]: *** [Makefile.common:131: _build/install/default/bin/coqc] Error 1 make[1]: *** Waiting for unfinished jobs.... ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_hardened-j4-20220317-000010 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-10.3.1 [2] x86_64-pc-linux-gnu-11.2.1 * clang/llvm (if any): clang version 13.0.1 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/13/bin /usr/lib/llvm/13 13.0.1 Python 3.9.11 Available Ruby profiles: [1] ruby26 (with Rubygems) [2] ruby27 (with Rubygems) [3] ruby31 (with Rubygems) * Available Rust versions: [1] rust-bin-1.59.0 * The following VMs are available for generation-2: *) Eclipse Temurin JDK 11.0.14_p9 [openjdk-bin-11] 2) Eclipse Temurin JDK 8.322_p06 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-11 system-vm The Glorious Glasgow Haskell Compilation System, version 8.10.4 php cli: HEAD of ::gentoo commit 6cec1fe2e60f1416cffed048be4e5516ddf2f475 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Fri Mar 18 09:34:28 2022 +0000 2022-03-18 09:34:24 UTC emerge -qpvO sci-mathematics/coq [ebuild R ] sci-mathematics/coq-8.15.0-r2 USE="ocamlopt -debug -doc -gtk"
Created attachment 767336 [details] emerge-info.txt
Created attachment 767337 [details] emerge-history.txt
Created attachment 767338 [details] environment
Created attachment 767339 [details] etc.portage.tar.bz2
Created attachment 767340 [details] sci-mathematics:coq-8.15.0-r2:20220318-113342.log
Created attachment 767341 [details] temp.tar.bz2
The version 8.15.0-r2 of sci-mathematics/coq is gone from the ::gentoo tree.
