Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 813822 - [stable] sci-mathematics/why3-for-spark-2018 - ocamlfind: Package js_of_ocaml not found
Summary: [stable] sci-mathematics/why3-for-spark-2018 - ocamlfind: Package js_of_ocaml...
Status: RESOLVED OBSOLETE
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Tupone Alfredo
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2021-09-19 08:42 UTC by Toralf Förster
Modified: 2022-02-07 12:52 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---

Attachments
emerge-info.txt (emerge-info.txt,14.88 KB, text/plain)
2021-09-19 08:42 UTC, Toralf Förster 		Details
emerge-history.txt (emerge-history.txt,23.12 KB, text/plain)
2021-09-19 08:42 UTC, Toralf Förster 		Details
environment (environment,16.71 KB, text/plain)
2021-09-19 08:42 UTC, Toralf Förster 		Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,22.64 KB, application/x-bzip)
2021-09-19 08:42 UTC, Toralf Förster 		Details
logs.tar.bz2 (logs.tar.bz2,3.94 KB, application/x-bzip)
2021-09-19 08:42 UTC, Toralf Förster 		Details
sci-mathematics:why3-for-spark-2018:20210918-223357.log (sci-mathematics:why3-for-spark-2018:20210918-223357.log,14.47 KB, text/plain)
2021-09-19 08:42 UTC, Toralf Förster 		Details
temp.tar.bz2 (temp.tar.bz2,8.71 KB, application/x-bzip)
2021-09-19 08:42 UTC, Toralf Förster 		Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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