| Summary: | sci-mathematics/kind2-1.9.0 - ERROR: sci-mathematics/kind2-1.9.0::gentoo failed (compile phase): | ||
|---|---|---|---|
| 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 environment etc.clang.tar.xz etc.portage.tar.xz sci-mathematics:kind2-1.9.0:20230705-001314.log temp.tar.xz |
||
Created attachment 865155 [details]
emerge-info.txt
Created attachment 865156 [details]
emerge-history.txt
Created attachment 865157 [details]
environment
Created attachment 865158 [details]
etc.clang.tar.xz
Created attachment 865159 [details]
etc.portage.tar.xz
Created attachment 865160 [details]
sci-mathematics:kind2-1.9.0:20230705-001314.log
Created attachment 865161 [details]
temp.tar.xz
> free(): double free detected in tcache 2
> (got signal ABRT)
|
ocamlopt src/.kind2dev.objs/native/lustreToRust.{cmx,o} ocamlopt src/.kind2dev.objs/native/lustreContext.{cmx,o} ocamlopt src/.kind2dev.objs/native/lustrePath.{cmx,o} ocamlopt src/.kind2dev.objs/native/lustreTransSys.{cmx,o} ocamlopt src/.kind2dev.objs/native/lustreSimplify.{cmx,o} ocamlopt src/.kind2dev.objs/native/lustreDeclarations.{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 5 * ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_desktop_plasma_systemd-20230703-091504 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-13 * clang/llvm (if any): clang version 16.0.6 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/16/bin Configuration file: /etc/clang/clang.cfg /usr/lib/llvm/16 16.0.6 Python 3.11.4 Available Ruby profiles: [1] ruby31 (with Rubygems) * Available Rust versions: [1] rust-1.69.0 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 11.0.19_p7 [openjdk-bin-11] *) Eclipse Temurin JDK 17.0.7_p7 [openjdk-bin-17] 3) Eclipse Temurin JDK 8.372_p07 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-11 [3] openjdk-bin-17 system-vm php cli (if any): go version go1.20.5 linux/amd64 HEAD of ::gentoo commit d70c94182c50c96c96cd25d50a0531adeeb46c76 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Tue Jul 4 22:46:59 2023 +0000 2023-07-04 22:46:58 UTC emerge -qpvO sci-mathematics/kind2 [ebuild N ] sci-mathematics/kind2-1.9.0 USE="ocamlopt -test"