Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 835583 - sci-mathematics/coq-8.15.0-r2 - Fatal error: exception Stack overflow
Summary: sci-mathematics/coq-8.15.0-r2 - Fatal error: exception Stack overflow
Status: CONFIRMED
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-03-18 14:50 UTC by Toralf Förster
Modified: 2023-09-09 13:27 UTC (History)
0 users

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


Attachments
emerge-info.txt (emerge-info.txt,16.84 KB, text/plain)
2022-03-18 14:50 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,171.05 KB, text/plain)
2022-03-18 14:50 UTC, Toralf Förster
Details
environment (environment,35.79 KB, text/plain)
2022-03-18 14:50 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,16.29 KB, application/x-bzip)
2022-03-18 14:50 UTC, Toralf Förster
Details
sci-mathematics:coq-8.15.0-r2:20220318-113342.log (sci-mathematics:coq-8.15.0-r2:20220318-113342.log,95.98 KB, text/plain)
2022-03-18 14:50 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,17.56 KB, application/x-bzip)
2022-03-18 14:50 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-03-18 14:50:45 UTC
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"
Comment 1 Toralf Förster gentoo-dev 2022-03-18 14:50:46 UTC
Created attachment 767336 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2022-03-18 14:50:48 UTC
Created attachment 767337 [details]
emerge-history.txt
Comment 3 Toralf Förster gentoo-dev 2022-03-18 14:50:49 UTC
Created attachment 767338 [details]
environment
Comment 4 Toralf Förster gentoo-dev 2022-03-18 14:50:50 UTC
Created attachment 767339 [details]
etc.portage.tar.bz2
Comment 5 Toralf Förster gentoo-dev 2022-03-18 14:50:52 UTC
Created attachment 767340 [details]
sci-mathematics:coq-8.15.0-r2:20220318-113342.log
Comment 6 Toralf Förster gentoo-dev 2022-03-18 14:50:53 UTC
Created attachment 767341 [details]
temp.tar.bz2
Comment 7 Maciej Barć gentoo-dev 2023-09-09 13:27:03 UTC
The version 8.15.0-r2 of sci-mathematics/coq is gone from the ::gentoo tree.