make[2]: Entering directory '/var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/libs/linear' /var/tmp/portage/dev-lang/idris2-0.6.0/work/Idris2-0.6.0/build/exec/idris2 --build linear.ipkg 1/12: Building Data.Linear.Notation (Data/Linear/Notation.idr) 2/12: Building Data.Linear.Bifunctor (Data/Linear/Bifunctor.idr) Error: Module Data.Nat not found Data.Linear.Copies:5:1--5:16 ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_desktop_gnome-j4-20221110-170004 ------------------------------------------------------------------- GNUMAKEFLAGS="$GNUMAKEFLAGS --jobserver-style=pipe" GNUMAKEFLAGS="$GNUMAKEFLAGS --shuffle" gcc-config -l: [1] x86_64-pc-linux-gnu-12 * clang/llvm (if any): clang version 15.0.4 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/15/bin Configuration file: /etc/clang/clang.cfg /usr/lib/llvm/15 15.0.4 Python 3.10.8 Available Ruby profiles: (none found) Available Rust versions: [1] rust-bin-1.65.0 * The following VMs are available for generation-2: 1) OpenJDK 17.0.5_p8 [openjdk-17] 2) OpenJDK 8.345_p01 [openjdk-8] *) Eclipse Temurin JDK 17.0.5_p8 [openjdk-bin-17] 4) Eclipse Temurin JDK 8.352_p08 [openjdk-bin-8] 5) Eclipse Temurin JRE 17.0.5_p8 [openjdk-jre-bin-17] Available Java Virtual Machines: [1] openjdk-8 [2] openjdk-17 [3] openjdk-bin-8 [4] openjdk-bin-17 system-vm [5] openjdk-jre-bin-17 php cli (if any): HEAD of ::gentoo commit ddcce5583933141d900dffa1fc81f375b1ab1cd5 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Sat Nov 12 12:16:53 2022 +0000 2022-11-12 12:16:52 UTC emerge -qpvO dev-lang/idris2 [ebuild N ] dev-lang/idris2-0.6.0 USE="chez -doc -racket -test-full"
Created attachment 832063 [details] emerge-info.txt
Created attachment 832065 [details] dev-lang:idris2-0.6.0:20221112-130835.log
Created attachment 832067 [details] emerge-history.txt
Created attachment 832069 [details] environment
Created attachment 832071 [details] etc.clang.tar.bz2
Created attachment 832073 [details] etc.portage.tar.bz2
Created attachment 832075 [details] temp.tar.bz2