| Summary: | sci-mathematics/coq-serapi-0.18.1 - Failed to run command: dune build @install --display=short --profile release -j 4 | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
| Component: | Current packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
| Status: | CONFIRMED --- | ||
| Severity: | normal | ||
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Attachments: |
emerge-info.txt
emerge-history.txt.xz environment etc.clang.tar.xz etc.portage.tar.xz qlist-info.txt.xz sci-mathematics:coq-serapi-0.18.1:20231109-060611.log temp.tar.xz |
||
Created attachment 874338 [details]
emerge-info.txt
Created attachment 874339 [details]
emerge-history.txt.xz
Created attachment 874340 [details]
environment
Created attachment 874341 [details]
etc.clang.tar.xz
Created attachment 874342 [details]
etc.portage.tar.xz
Created attachment 874343 [details]
qlist-info.txt.xz
Created attachment 874344 [details]
sci-mathematics:coq-serapi-0.18.1:20231109-060611.log
Created attachment 874345 [details]
temp.tar.xz
|
ocamlopt serlib/plugins/ssr/.serlib_ssr.objs/native/serlib_ssr__Ser_ssrast.{cmx,o} ocamlopt serlib/plugins/ssr/.serlib_ssr.objs/native/serlib_ssr__Ser_ssrequality.{cmx,o} ocamlopt serlib/plugins/ssr/.serlib_ssr.objs/native/serlib_ssr__Ser_ssrparser.{cmx,o} ocamlopt serlib/plugins/ssr/serlib_ssr.{a,cmxa} ocamlopt serlib/plugins/ssr/serlib_ssr.cmxs * ERROR: sci-mathematics/coq-serapi-0.18.1::gentoo failed (compile phase): * Failed to run command: dune build @install --display=short --profile release -j 4 * * Call stack: ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 23.0_systemd-20231105-204015 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-10 [2] x86_64-pc-linux-gnu-14 * clang/llvm (if any): clang version 17.0.4 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/17/bin Configuration file: /etc/clang/x86_64-pc-linux-gnu-clang.cfg /usr/lib/llvm/17 17.0.4 Python 3.11.6 Available Ruby profiles: [1] ruby31 (with Rubygems) * Available Rust versions: [1] rust-bin-1.73.0 [2] rust-1.73.0 * The following VMs are available for generation-2: *) Eclipse Temurin JDK 8.382_p05 [openjdk-bin-8] 2) Eclipse Temurin JRE 17.0.8.1_p1 [openjdk-jre-bin-17] 3) Eclipse Temurin JRE 21.0.1_p12 [openjdk-jre-bin-21] Available Java Virtual Machines: [1] openjdk-bin-8 system-vm [2] openjdk-jre-bin-17 [3] openjdk-jre-bin-21 The Glorious Glasgow Haskell Compilation System, version 9.2.8 php cli (if any): go version go1.21.4 linux/amd64 HEAD of ::gentoo commit 3f6bbf47fa93301edebce289e1e869d858e2a09e Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Thu Nov 9 04:31:52 2023 +0000 2023-11-09 04:31:52 UTC emerge -qpvO sci-mathematics/coq-serapi [ebuild R ] sci-mathematics/coq-serapi-0.18.1 USE="ocamlopt -emacs -test"