Data path : /usr/share/why3 OCaml library path : /usr/lib64/ocaml/why3 Relocatable : no >>> Source configured. >>> Compiling source in /var/tmp/portage/sci-mathematics/why3-for-spark-2023.12.13/work/why3-fb4ca6cd8c7d888d3e8d281e6de87c66ec20f084 ... make -O -j4 -j1 make: *** No rule to make target 'configure.in', needed by 'configure'. Stop. * ERROR: sci-mathematics/why3-for-spark-2023.12.13::gentoo failed (compile phase): * emake failed ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 23.0_desktop_systemd-20250205-213502 UNMASKED: Requested by sam =media-video/ffmpeg-7* <sys-devel/gcc-15.0.9999:15 Please re-assign to ztrawhcse@ if you cannot reproduced it with regular meson. <dev-build/meson-9999 The attached etc.portage.tar.xz has all details. ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-15 * clang version 19.1.7 llvm-config: 19.1.7 Python 3.12.9 go version go1.23.6 linux/amd64 Available Ruby profiles: (none found) Available Rust versions: [1] rust-bin-1.84.1 [2] rust-1.84.1 * The following VMs are available for generation-2: *) Eclipse Temurin JDK 21.0.6_p7 [openjdk-bin-21] Available Java Virtual Machines: [1] openjdk-bin-21 system-vm HEAD of ::gentoo commit 9fc05165480c282a4389caef3511c9820ff72a5f Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Sat Feb 8 14:19:30 2025 +0000 2025-02-08 14:19:30 UTC emerge -qpvO =sci-mathematics/why3-for-spark-2023.12.13 [ebuild N ] sci-mathematics/why3-for-spark-2023.12.13 USE="gtk ocamlopt -coq (-doc) -emacs -html -hypothesis-selection -sexp -zarith -zip"
Created attachment 918396 [details] emerge-info.txt
Created attachment 918397 [details] emerge-history.txt
Created attachment 918398 [details] environment
Created attachment 918399 [details] etc.clang.tar.xz
Created attachment 918400 [details] etc.portage.tar.xz
Created attachment 918401 [details] logs.tar.xz
Created attachment 918402 [details] qlist-info.txt
Created attachment 918403 [details] sci-mathematics:why3-for-spark-2023.12.13:20250208-150839.log
Created attachment 918404 [details] temp.tar.xz
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0d918a1667cb6a0ec75028c5817de5bb9c0e750f commit 0d918a1667cb6a0ec75028c5817de5bb9c0e750f Author: Alfredo Tupone <tupone@gentoo.org> AuthorDate: 2025-02-24 21:53:35 +0000 Commit: Alfredo Tupone <tupone@gentoo.org> CommitDate: 2025-02-24 21:54:03 +0000 sci-mathematics/why3-for-spark: fix configure Closes: https://bugs.gentoo.org/949519 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild | 2 ++ 1 file changed, 2 insertions(+)
