Bug 813822

Summary:	[stable] sci-mathematics/why3-for-spark-2018 - ocamlfind: Package js_of_ocaml not found
Product:	Gentoo Linux	Reporter:	Toralf Förster <toralf>
Component:	Current packages	Assignee:	Tupone Alfredo <tupone>
Status:	RESOLVED OBSOLETE
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-2018:20210918-223357.log temp.tar.bz2

Description Toralf Förster gentoo-dev

2021-09-19 08:42:04 UTC

ocamlfind found lablgtk2 in /usr/lib64/ocaml/lablgtk2
ocamlfind found lablgtksourceview2 in /usr/lib64/ocaml/lablgtk2
ocamlfind: Package `js_of_ocaml' not found
configure: creating ./config.status
config.status: creating Makefile
config.status: creating src/config.sh
config.status: creating doc/version.tex

  -------------------------------------------------------------------

  This is an stable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_desktop_gnome_systemd-j4_stable-20210918-182330

  -------------------------------------------------------------------

gcc-config -l:
 [1] x86_64-pc-linux-gnu-10.3.0 *
/usr/lib/llvm/12
12.0.1
Python 3.9.6
Available Ruby profiles:
  [1]   ruby26 (with Rubygems) *
Available Rust versions:
  [1]   rust-1.53.0 *

  HEAD of ::gentoo
commit cfb5a47e1f0b4545a1e607514ec12bbd58f534bb
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Sat Sep 18 21:21:31 2021 +0000

    2021-09-18 21:21:29 UTC

emerge -qpvO sci-mathematics/why3-for-spark
[ebuild  N    ] sci-mathematics/why3-for-spark-2018  USE="gtk ocamlopt -coq -doc -emacs -html -hypothesis-selection -profiling -zarith -zip"

Comment 1 Toralf Förster gentoo-dev

2021-09-19 08:42:05 UTC

Created attachment 739869 [details]
emerge-info.txt

Comment 2 Toralf Förster gentoo-dev

2021-09-19 08:42:06 UTC

Created attachment 739872 [details]
emerge-history.txt

Comment 3 Toralf Förster gentoo-dev

2021-09-19 08:42:07 UTC

Created attachment 739875 [details]
environment

Comment 4 Toralf Förster gentoo-dev

2021-09-19 08:42:08 UTC

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

Comment 5 Toralf Förster gentoo-dev

2021-09-19 08:42:09 UTC

Created attachment 739881 [details]
logs.tar.bz2

Comment 6 Toralf Förster gentoo-dev

2021-09-19 08:42:10 UTC

Created attachment 739884 [details]
sci-mathematics:why3-for-spark-2018:20210918-223357.log

Comment 7 Toralf Förster gentoo-dev

2021-09-19 08:42:11 UTC

Created attachment 739887 [details]
temp.tar.bz2

Comment 8 Tupone Alfredo gentoo-dev

2022-02-07 12:52:53 UTC

Dropped