too long lines were shrinked: If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlfind ocamlopt -c -w A-4-9-41-44-45-50-52@5@8@48 -safe-string -keep-locs -bin-annot -dtypes -g -thread -I lib/why3 -I src/tools -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 -I src/util -I src/core -I src/ sh: line 1: src/util/ppx_debug_optim: No such file or directory File "src/transform/apply.ml", line 1: Error: I/O error: src/util/ppx_debug_optim '/var/tmp/portage/sci-mathematics/why3-for-spark-2021-r1/temp/camlppxf3a099' '/var/tmp/portage/sci-mathematics/why3-for-spark-2021-r1/temp/camlppx4b84a4' ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_hardened-j4-20221122-080022 ------------------------------------------------------------------- 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.5 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.5 Python 3.10.8 Available Ruby profiles: [1] ruby27 (with Rubygems) [2] ruby31 (with Rubygems) * Available Rust versions: [1] rust-bin-1.65.0 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 11.0.17_p8 [openjdk-bin-11] *) Eclipse Temurin JDK 17.0.5_p8 [openjdk-bin-17] 3) Eclipse Temurin JDK 8.352_p08 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-11 [3] openjdk-bin-17 system-vm The Glorious Glasgow Haskell Compilation System, version 9.0.2 php cli (if any): HEAD of ::gentoo commit 66b9e3d92c5d79a17672d1abbb791dc61fedb4fe Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Sat Nov 26 15:01:55 2022 +0000 2022-11-26 15:01:55 UTC emerge -qpvO sci-mathematics/why3-for-spark [ebuild N ] sci-mathematics/why3-for-spark-2021-r1 USE="ocamlopt -coq -doc -emacs -gtk -html -hypothesis-selection -sexp -zarith -zip"
Created attachment 837187 [details] emerge-info.txt
Created attachment 837189 [details] emerge-history.txt.bz2
Created attachment 837191 [details] environment
Created attachment 837193 [details] etc.clang.tar.bz2
Created attachment 837195 [details] etc.portage.tar.bz2
Created attachment 837197 [details] logs.tar.bz2
Created attachment 837199 [details] sci-mathematics:why3-for-spark-2021-r1:20221126-152807.log.bz2
Created attachment 837201 [details] temp.tar.bz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8395f9bd24c6d239774bcc990eaaca63b9d77ef2 commit 8395f9bd24c6d239774bcc990eaaca63b9d77ef2 Author: Alfredo Tupone <tupone@gentoo.org> AuthorDate: 2023-04-02 21:04:18 +0000 Commit: Alfredo Tupone <tupone@gentoo.org> CommitDate: 2023-04-02 21:05:02 +0000 sci-mathematics/why3-for-spark: disable shuffle Closes: https://bugs.gentoo.org/883167 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> .../why3-for-spark/files/why3-for-spark-2021-make.patch | 11 +++++++++++ sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild | 1 + 2 files changed, 12 insertions(+)