Bug 758245 – sci-mathematics/alt-ergo-2.3.0 : Error: The following libraries are missing in the default context:

• Product: Gentoo Linux
• Status: RESOLVED FIXED

[Description Toralf Förster 2020-12-03 12:58:30 UTC]

Generating file Makefile.config...done.
Found dune in path.
Error: The following libraries are missing in the default context:
- lablgtk2
- lablgtk2.sourceview2
Hint: try:

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

  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	Thu Dec  3 12:35:42 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-2.3.0  USE="ocamlopt -examples -gtk"

[Comment 1 Toralf Förster 2020-12-03 12:58:31 UTC]

this seems to be either still an issue or a similarity to the one reported in bug 716416

[Comment 2 Toralf Förster 2020-12-03 12:58:32 UTC]

Created attachment 676441 [details]
emerge-info.txt

[Comment 3 Toralf Förster 2020-12-03 12:58:34 UTC]

Created attachment 676444 [details]
emerge-history.txt

[Comment 4 Toralf Förster 2020-12-03 12:58:36 UTC]

Created attachment 676447 [details]
environment

[Comment 5 Toralf Förster 2020-12-03 12:58:37 UTC]

Created attachment 676450 [details]
etc.portage.tbz2

[Comment 6 Toralf Förster 2020-12-03 12:58:38 UTC]

Created attachment 676453 [details]
sci-mathematics:alt-ergo-2.3.0:20201203-013139.log

[Comment 7 Toralf Förster 2020-12-03 12:58:40 UTC]

Created attachment 676456 [details]
temp.tbz2

[Comment 8 Larry the Git Cow 2020-12-05 08:42:12 UTC]

The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9e4d2e352636cbdabaa4f6620b4145d9d04fa74d

commit 9e4d2e352636cbdabaa4f6620b4145d9d04fa74d
Author:     Alfredo Tupone <[e-mail]>
AuthorDate: 2020-12-05 08:41:28 +0000
Commit:     Alfredo Tupone <[e-mail]>
CommitDate: 2020-12-05 08:41:28 +0000

    sci-mathematics/alt-ergo: fix dependency
    
    Closes: https://bugs.gentoo.org/758245
    Package-Manager: Portage-3.0.9, Repoman-3.0.2
    Signed-off-by: Alfredo Tupone <[e-mail]>

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