| Summary: | sci-mathematics/kind2-1.9.0 - 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 Team for the ML programming language family <ml> |
| Status: | RESOLVED OBSOLETE | ||
| Severity: | normal | CC: | sci-mathematics, toralf, tupone |
| 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:kind2-1.9.0:20231206-223048.log temp.tar.xz |
||
Created attachment 878078 [details]
emerge-info.txt
Created attachment 878079 [details]
emerge-history.txt.xz
Created attachment 878080 [details]
environment
Created attachment 878081 [details]
etc.clang.tar.xz
Created attachment 878082 [details]
etc.portage.tar.xz
Created attachment 878083 [details]
qlist-info.txt.xz
Created attachment 878084 [details]
sci-mathematics:kind2-1.9.0:20231206-223048.log
Created attachment 878085 [details]
temp.tar.xz
got signal SEGV do you mind to retest |
ocamlopt src/.kind2dev.objs/native/lustreSimplify.{cmx,o} ocamlopt src/.kind2dev.objs/native/lustreTransSys.{cmx,o} ocamlopt src/.kind2dev.objs/native/lustreDeclarations.{cmx,o} ocamlopt src/.kind2dev.objs/native/lustreInput.{cmx,o} ocamlopt src/.kind2dev.objs/native/contractsToProps.{cmx,o} * ERROR: sci-mathematics/kind2-1.9.0::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: 17.1_desktop_gnome_systemd-20231127-142450 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-10 [2] x86_64-pc-linux-gnu-13 * 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.7 Available Rust versions: [1] rust-bin-1.73.0 [2] rust-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): go version go1.21.4 linux/amd64 HEAD of ::gentoo commit 701f80836a1a28f8909b7e3c157b2c2174e88567 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Wed Dec 6 21:46:55 2023 +0000 Merge updates from master emerge -qpvO sci-mathematics/kind2 [ebuild N ] sci-mathematics/kind2-1.9.0 USE="ocamlopt -test"