checking for /usr/lib64/ocaml/nums.cma... no checking for /usr/lib64/ocaml/num.cmi... no configure: error: Library Num not found. !!! Please attach the following file when seeking support: !!! /var/tmp/portage/sci-mathematics/why3-for-spark-2019/work/why3-2019-20190517-197BB-src/config.log ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_no-multilib_hardened-libressl-20200106-161621 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-9.2.0 * clang: clang version 9.0.1 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/9/bin llvm: 9.0.1 Available Python interpreters, in order of preference: [1] python3.7 [2] python3.6 [3] python2.7 (fallback) Available Ruby profiles: [1] ruby24 (with Rubygems) [2] ruby25 (with Rubygems) * Available Rust versions: [1] rust-1.40.0 * java-config: The following VMs are available for generation-2: *) AdoptOpenJDK 8.232_p09 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 system-vm repository: ==> /var/db/repos/gentoo/metadata/timestamp.chk <== Wed, 08 Jan 2020 23:45:58 +0000 emerge -qpvO sci-mathematics/why3-for-spark [ebuild N ] sci-mathematics/why3-for-spark-2019 USE="ocamlopt -coq -doc -emacs -gtk -html -hypothesis-selection -profiling -zarith -zip"
Created attachment 602846 [details] emerge-info.txt
Created attachment 602848 [details] emerge-history.txt
Created attachment 602850 [details] environment
Created attachment 602852 [details] etc.portage.tbz2
Created attachment 602854 [details] logs.tbz2
Created attachment 602856 [details] sci-mathematics:why3-for-spark-2019:20200109-004619.log
Created attachment 602858 [details] temp.tbz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d53b71f85b0a0eac777c476cb523c7bc30d3e5da commit d53b71f85b0a0eac777c476cb523c7bc30d3e5da Author: Tupone Alfredo <tupone@gentoo.org> AuthorDate: 2020-01-14 07:51:42 +0000 Commit: Tupone Alfredo <tupone@gentoo.org> CommitDate: 2020-01-14 07:51:42 +0000 sci-mathematics/why3-for-spark: use ocaml-4.09 Closes: https://bugs.gentoo.org/705072 Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> .../why3-for-spark/why3-for-spark-2019-r1.ebuild | 78 ++++++++++++++++++++++ 1 file changed, 78 insertions(+)
