| Summary: | sci-mathematics/alt-ergo-2.4.3 - Failed to run command: dune build @install --display=short --profile release -j 4 --for-release-of-packages=alt-ergo- | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
| Component: | Current packages | Assignee: | Gentoo Team for the ML programming language family <ml> |
| Status: | CONFIRMED --- | ||
| Severity: | normal | CC: | sci-mathematics |
| 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:alt-ergo-2.4.3:20231205-004121.log temp.tar.xz |
||
Created attachment 877251 [details]
emerge-info.txt
Created attachment 877252 [details]
emerge-history.txt.xz
Created attachment 877253 [details]
environment
Created attachment 877254 [details]
etc.clang.tar.xz
Created attachment 877255 [details]
etc.portage.tar.xz
Created attachment 877256 [details]
qlist-info.txt.xz
Created attachment 877257 [details]
sci-mathematics:alt-ergo-2.4.3:20231205-004121.log
Created attachment 877258 [details]
temp.tar.xz
|
ocamlopt src/bin/common/.alt_ergo_common.objs/native/alt_ergo_common__Parse_command.{cmx,o} ocamlopt src/plugins/AB-Why3/.ABWhy3Plugin.objs/native/aBWhy3Plugin__Why3_parser.{cmx,o} ocamlopt src/plugins/AB-Why3/.ABWhy3Plugin.objs/native/aBWhy3Plugin__Why3_lexer.{cmx,o} ocamlopt src/plugins/AB-Why3/ABWhy3Plugin.{a,cmxa} ocamlopt src/plugins/AB-Why3/ABWhy3Plugin.cmxs * ERROR: sci-mathematics/alt-ergo-2.4.3::gentoo failed (compile phase): * Failed to run command: dune build @install --display=short --profile release -j 4 --for-release-of-packages=alt-ergo-lib,alt-ergo-parsers,alt-ergo * * Call stack: ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1-20231127-140030 ------------------------------------------------------------------- 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.6 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.6 Python 3.11.6 Available Ruby profiles: [1] ruby31 (with Rubygems) * Available Rust versions: [1] rust-bin-1.73.0 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 11.0.20.1_p1 [openjdk-bin-11] 2) Eclipse Temurin JDK 17.0.8.1_p1 [openjdk-bin-17] *) Eclipse Temurin JDK 21.0.1_p12 [openjdk-bin-21] 4) Eclipse Temurin JDK 8.382_p05 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-11 [3] openjdk-bin-17 [4] openjdk-bin-21 system-vm The Glorious Glasgow Haskell Compilation System, version 9.2.8 php cli (if any): [1] php8.1 [2] php8.2 * go version go1.21.4 linux/amd64 HEAD of ::gentoo commit 5b02a855dbc36be0c5b64fda493fa0853b0ca988 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Mon Dec 4 23:17:02 2023 +0000 2023-12-04 23:17:02 UTC emerge -qpvO sci-mathematics/alt-ergo [ebuild N ] sci-mathematics/alt-ergo-2.4.3 USE="ocamlopt -examples -gui"