Bug 799173

Summary:	sci-mathematics/why3-for-spark-2021 - ocamlfind: Package js_of_ocaml not found
Product:	Gentoo Linux	Reporter:	Toralf Förster <toralf>
Component:	Current packages	Assignee:	Tupone Alfredo <tupone>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	emerge-info.txt emerge-history.txt environment etc.portage.tar.bz2 logs.tar.bz2 sci-mathematics:why3-for-spark-2021:20210628-214314.log temp.tar.bz2

Description Toralf Förster gentoo-dev

2021-06-29 07:19:51 UTC

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"

Comment 1 Toralf Förster gentoo-dev

2021-06-29 07:19:52 UTC

Created attachment 719985 [details]
emerge-info.txt

Comment 2 Toralf Förster gentoo-dev

2021-06-29 07:19:54 UTC

Created attachment 719988 [details]
emerge-history.txt

Comment 3 Toralf Förster gentoo-dev

2021-06-29 07:19:55 UTC

Created attachment 719991 [details]
environment

Comment 4 Toralf Förster gentoo-dev

2021-06-29 07:19:57 UTC

Created attachment 719994 [details]
etc.portage.tar.bz2

Comment 5 Toralf Förster gentoo-dev

2021-06-29 07:19:58 UTC

Created attachment 719997 [details]
logs.tar.bz2

Comment 6 Toralf Förster gentoo-dev

2021-06-29 07:19:59 UTC

Created attachment 720000 [details]
sci-mathematics:why3-for-spark-2021:20210628-214314.log

Comment 7 Toralf Förster gentoo-dev

2021-06-29 07:20:01 UTC

Created attachment 720003 [details]
temp.tar.bz2

Comment 8 Larry the Git Cow gentoo-dev

2021-06-29 14:16:26 UTC

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(+)