Bug 758638

Summary:	sci-mathematics/alt-ergo-1.30 : ocamlfind: Package lablgtk2.sourceview2 not found
Product:	Gentoo Linux	Reporter:	Toralf Förster <toralf>
Component:	Current packages	Assignee:	Tupone Alfredo <tupone>
Status:	RESOLVED WORKSFORME
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.tbz2 logs.tbz2 sci-mathematics:alt-ergo-1.30:20201205-112214.log temp.tbz2

Description Toralf Förster gentoo-dev

2020-12-05 12:09:24 UTC

checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
ocamlfind: Package `lablgtk2.sourceview2' not found
checking for /usr/lib64/ocaml/lablgtk2/lablgtksourceview2.cma... no
Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html*
checking for ocamlweb... true

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_systemd-libressl-20201127-111514

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-10.2.0 *
clang version 11.0.0
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/11/bin
/usr/lib/llvm/11
11.0.0
Available Python interpreters, in order of preference:
  [1]   python3.7
  [2]   python3.9 (fallback)
  [3]   python3.8 (fallback)
  [4]   python2.7 (fallback)
  [5]   pypy3 (fallback)
Available Ruby profiles:
  [1]   ruby25 (with Rubygems)
  [2]   ruby26 (with Rubygems)
  [3]   ruby27 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.48.0 *
The following VMs are available for generation-2:
*)	AdoptOpenJDK 8.272_p10 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8  system-vm

The Glorious Glasgow Haskell Compilation System, version 8.8.4

  timestamp(s) of HEAD at this tinderbox image:
/var/db/repos/gentoo	Sat Dec  5 10:05:38 AM UTC 2020
/var/db/repos/libressl	Tue Dec  1 11:07:19 AM UTC 2020

emerge -qpvO sci-mathematics/alt-ergo
[ebuild  N    ] sci-mathematics/alt-ergo-1.30  USE="ocamlopt -examples -gtk"

Comment 1 Toralf Förster gentoo-dev

2020-12-05 12:09:25 UTC

Created attachment 676819 [details]
emerge-info.txt

Comment 2 Toralf Förster gentoo-dev

2020-12-05 12:09:27 UTC

Created attachment 676822 [details]
emerge-history.txt

Comment 3 Toralf Förster gentoo-dev

2020-12-05 12:09:28 UTC

Created attachment 676825 [details]
environment

Comment 4 Toralf Förster gentoo-dev

2020-12-05 12:09:29 UTC

Created attachment 676828 [details]
etc.portage.tbz2

Comment 5 Toralf Förster gentoo-dev

2020-12-05 12:09:30 UTC

Created attachment 676831 [details]
logs.tbz2

Comment 6 Toralf Förster gentoo-dev

2020-12-05 12:09:31 UTC

Created attachment 676834 [details]
sci-mathematics:alt-ergo-1.30:20201205-112214.log

Comment 7 Toralf Förster gentoo-dev

2020-12-05 12:09:32 UTC

Created attachment 676837 [details]
temp.tbz2

Comment 8 Tupone Alfredo gentoo-dev

2020-12-05 18:24:55 UTC

I do not see dev-ml/lablgtk in the emerge history

Comment 9 Larry the Git Cow gentoo-dev

2020-12-05 18:26:50 UTC

The bug has been referenced in the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=437b9b6b58591e7832b67a34c2c7af129daad744

commit 437b9b6b58591e7832b67a34c2c7af129daad744
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2020-12-05 18:26:32 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2020-12-05 18:26:32 +0000

    sci-mathematics/alt-ergo: depend only on lablgtk:2
    
    Bug: https://bugs.gentoo.org/758638
    Package-Manager: Portage-3.0.9, Repoman-3.0.2
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)