Bug 692252 – 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 2019-08-15 17:19:15 UTC]

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

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1-20190815-021810

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-9.2.0 *

Available Python interpreters, in order of preference:
  [1]   python3.6
  [2]   python2.7 (fallback)





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

[Comment 1 Toralf Förster 2019-08-15 17:19:17 UTC]

Created attachment 586982 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2019-08-15 17:19:20 UTC]

Created attachment 586984 [details]
emerge-history.txt

[Comment 3 Toralf Förster 2019-08-15 17:19:23 UTC]

Created attachment 586986 [details]
environment

[Comment 4 Toralf Förster 2019-08-15 17:19:26 UTC]

Created attachment 586988 [details]
etc.portage.tbz2

[Comment 5 Toralf Förster 2019-08-15 17:19:28 UTC]

Created attachment 586990 [details]
sci-mathematics:alt-ergo-2.3.0:20190815-131530.log

[Comment 6 Toralf Förster 2019-08-15 17:19:31 UTC]

Created attachment 586992 [details]
temp.tbz2

[Comment 7 Larry the Git Cow 2019-09-07 14:39:41 UTC]

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

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=00a5f9717c89acdd260785e4133b45aff247bbbd

commit 00a5f9717c89acdd260785e4133b45aff247bbbd
Author:     Tupone Alfredo <[e-mail]>
AuthorDate: 2019-09-07 14:38:58 +0000
Commit:     Tupone Alfredo <[e-mail]>
CommitDate: 2019-09-07 14:39:25 +0000

    sci-mathematics/alt-ergo: fix build
    
    Closes: https://bugs.gentoo.org/692252
    Package-Manager: Portage-2.3.69, Repoman-2.3.16
    Signed-off-by: Alfredo Tupone <[e-mail]>

 sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

[Comment 8 Toralf Förster 2019-10-26 08:03:36 UTC]

it is still an issue at unstable amd64 tinderbox image 17.1_no-multilib-20191025-101801

[Comment 9 Toralf Förster 2019-10-26 08:03:39 UTC]

Created attachment 594022 [details]
emerge-info.txt

[Comment 10 Toralf Förster 2019-10-26 08:03:41 UTC]

Created attachment 594024 [details]
emerge-history.txt

[Comment 11 Toralf Förster 2019-10-26 08:03:44 UTC]

Created attachment 594026 [details]
environment

[Comment 12 Toralf Förster 2019-10-26 08:03:46 UTC]

Created attachment 594028 [details]
etc.portage.tbz2

[Comment 13 Toralf Förster 2019-10-26 08:03:49 UTC]

Created attachment 594030 [details]
sci-mathematics:alt-ergo-2.3.0:20191026-012450.log

[Comment 14 Toralf Förster 2019-10-26 08:03:52 UTC]

Created attachment 594032 [details]
temp.tbz2

[Comment 15 Larry the Git Cow 2019-10-28 21:15:17 UTC]

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

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

commit e254824ef44e703f59e5f918d44802a7d85d1348
Author:     Tupone Alfredo <[e-mail]>
AuthorDate: 2019-10-28 21:15:02 +0000
Commit:     Tupone Alfredo <[e-mail]>
CommitDate: 2019-10-28 21:15:02 +0000

    sci-mathematics/alt-ergo: add dev-ml/seq dependency
    
    Closes: https://bugs.gentoo.org/692252
    Package-Manager: Portage-2.3.76, Repoman-2.3.16
    Signed-off-by: Alfredo Tupone <[e-mail]>

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