too long lines were shrinked: ocamlfind ocamldep -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/gnat src/driver/sexp.ml src/driver/sexp.mli > "src/driver/sexp.dep" || (RV=$?; rm -f "src/driver/sexp.dep"; exit ${RV}) ocamlfind ocamldep -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/gnat src/driver/smtv2_model_parser.ml src/driver/smtv2_model_parser.mli > "src/driver/smtv2_model_parser.dep" || (RV=$?; rm -f "sr ocamlfind ocamldep -slash -I lib/why3 -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -I src/gnat src/mlw/ity.ml src/mlw/ity.mli > "src/mlw/ity.dep" || (RV=$?; rm -f "src/mlw/ity.dep"; exit ${RV}) File "src/mlw/ity.ml", line 901, characters 5-11: 901 | type effect = { ^^^^^^ Error: Syntax error File "src/mlw/ity.mli", line 374, characters 5-11: ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 23.0_hardened-20250326-042501 KEYWORDED/UNMASKED [meson] Please re-assign to ztrawhcse@ if it works 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-14 * clang version 20.1.1 llvm-config: 20.1.1 Python 3.12.9 go version go1.24.1 linux/amd64 Available Ruby profiles: [1] ruby32 (with Rubygems) [2] ruby33 (with Rubygems) * Available Rust versions: [1] rust-bin-1.77.1 [2] rust-bin-1.85.1 * The following VMs are available for generation-2: *) Eclipse Temurin JDK 21.0.6_p7 [openjdk-bin-21] 2) Eclipse Temurin JDK 8.442_p06 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-21 system-vm The Glorious Glasgow Haskell Compilation System, version 9.2.8 HEAD of ::gentoo commit 14bf2a47600855eefae94d8fbd090b95c909c7e6 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Fri Mar 28 09:35:23 2025 +0000 2025-03-28 09:35:23 UTC emerge -qpvO =sci-mathematics/why3-for-spark-2023.12.13-r2 [ebuild N ] sci-mathematics/why3-for-spark-2023.12.13-r2 USE="ocamlopt -coq (-doc) -emacs -gtk -html -hypothesis-selection -sexp -zarith -zip"
Created attachment 923164 [details] emerge-info.txt
Created attachment 923165 [details] emerge-history.txt
Created attachment 923166 [details] environment
Created attachment 923167 [details] etc.clang.tar.xz
Created attachment 923168 [details] etc.portage.tar.xz
Created attachment 923169 [details] logs.tar.xz
Created attachment 923170 [details] qlist-info.txt.xz
Created attachment 923171 [details] sci-mathematics:why3-for-spark-2023.12.13-r2:20250328-104531.log
Created attachment 923172 [details] temp.tar.xz
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cf7298ab4cd527f36975ba536d2e0dd80b65ff0d commit cf7298ab4cd527f36975ba536d2e0dd80b65ff0d Author: Alfredo Tupone <tupone@gentoo.org> AuthorDate: 2025-03-28 22:00:08 +0000 Commit: Alfredo Tupone <tupone@gentoo.org> CommitDate: 2025-03-28 22:00:26 +0000 sci-mathematics/why3-for-spark: fix with ocaml-5 Closes: https://bugs.gentoo.org/952833 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> .../why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild | 16 ++++++++++++++++ 1 file changed, 16 insertions(+)
