| Summary: | sci-mathematics/coq-8.17.1 - Failed to run command: dune build @install --display=short --profile release -j 5 --for-release-of-pa | ||
|---|---|---|---|
| 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 environment etc.portage.tar.xz sci-mathematics:coq-8.17.1:20230902-230608.log temp.tar.xz |
||
Created attachment 869310 [details]
emerge-info.txt
Created attachment 869311 [details]
emerge-history.txt
Created attachment 869312 [details]
environment
Created attachment 869313 [details]
etc.portage.tar.xz
Created attachment 869314 [details]
sci-mathematics:coq-8.17.1:20230902-230608.log
Created attachment 869315 [details]
temp.tar.xz
|
ocamlc plugins/funind/funind_plugin.cma ocamlc plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrfwd.{cmo,cmt} ocamlc plugins/ssr/.ssreflect_plugin.objs/byte/ssreflect_plugin__Ssrparser.{cmo,cmt} ocamlc plugins/ssr/ssreflect_plugin.cma ocamlc plugins/micromega/csdpcert.exe * ERROR: sci-mathematics/coq-8.17.1::gentoo failed (compile phase): * Failed to run command: dune build @install --display=short --profile release -j 5 --for-release-of-packages=coq-core,coq-stdlib,coqide-server,coq * * Call stack: ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1-20230901-184510 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-13 * clang/llvm (if any): /usr/lib/llvm/16 16.0.6 Python 3.11.5 Available Ruby profiles: [1] ruby31 (with Rubygems) * Available Rust versions: [1] rust-1.72.0 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 17.0.7_p7 [openjdk-bin-17] *) Eclipse Temurin JRE 17.0.7_p7 [openjdk-jre-bin-17] Available Java Virtual Machines: [1] openjdk-bin-17 [2] openjdk-jre-bin-17 system-vm php cli (if any): go version go1.21.0 linux/amd64 HEAD of ::gentoo commit d51220f3213fb9c4f159be77e6d8d48be3192463 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Sat Sep 2 21:16:55 2023 +0000 2023-09-02 21:16:54 UTC emerge -qpvO sci-mathematics/coq [ebuild N ] sci-mathematics/coq-8.17.1 USE="-debug (-doc) -gui -ocamlopt -test"