ocamlfind found ocamlgraph in /usr/lib64/ocaml/ocamlgraph checking for /usr/lib64/ocaml/ocamlgraph/graph.cmi... yes ocamlfind: Package `js_of_ocaml' not found ocamlfind: Package `mlmpfr' not found configure: creating ./config.status config.status: creating Makefile config.status: creating src/config.sh ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_no_multilib-j3_debug-20210620-175917 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-11.1.0 * clang version 12.0.0 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/12/bin /usr/lib/llvm/12 12.0.0 Python 3.9.5 Available Ruby profiles: [1] ruby26 (with Rubygems) [2] ruby30 (with Rubygems) * Available Rust versions: [1] rust-bin-1.53.0 * Available Java Virtual Machines: (none found) The Glorious Glasgow Haskell Compilation System, version 8.10.4 HEAD of ::gentoo commit 8d13edb1af88b1b14f19d335243f6f7e24b8b494 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Mon Jun 28 20:36:35 2021 +0000 2021-06-28 20:36:33 UTC emerge -qpvO sci-mathematics/why3-for-spark [ebuild N ] sci-mathematics/why3-for-spark-2021 USE="ocamlopt -coq -doc -emacs -gtk -html -zarith -zip"
Created attachment 719985 [details] emerge-info.txt
Created attachment 719988 [details] emerge-history.txt
Created attachment 719991 [details] environment
Created attachment 719994 [details] etc.portage.tar.bz2
Created attachment 719997 [details] logs.tar.bz2
Created attachment 720000 [details] sci-mathematics:why3-for-spark-2021:20210628-214314.log
Created attachment 720003 [details] temp.tar.bz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3daf7a4558c0902de667621d1b3c3224418a5007 commit 3daf7a4558c0902de667621d1b3c3224418a5007 Author: Alfredo Tupone <tupone@gentoo.org> AuthorDate: 2021-06-29 14:16:08 +0000 Commit: Alfredo Tupone <tupone@gentoo.org> CommitDate: 2021-06-29 14:16:08 +0000 sci-mathematics/why3-for-spark: disable hypothesis-selection Closes: https://bugs.gentoo.org/799173 Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild | 1 + 1 file changed, 1 insertion(+)
