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"
Created attachment 586982 [details] emerge-info.txt
Created attachment 586984 [details] emerge-history.txt
Created attachment 586986 [details] environment
Created attachment 586988 [details] etc.portage.tbz2
Created attachment 586990 [details] sci-mathematics:alt-ergo-2.3.0:20190815-131530.log
Created attachment 586992 [details] temp.tbz2
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 <tupone@gentoo.org> AuthorDate: 2019-09-07 14:38:58 +0000 Commit: Tupone Alfredo <tupone@gentoo.org> 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 <tupone@gentoo.org> sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-)
it is still an issue at unstable amd64 tinderbox image 17.1_no-multilib-20191025-101801
Created attachment 594022 [details] emerge-info.txt
Created attachment 594024 [details] emerge-history.txt
Created attachment 594026 [details] environment
Created attachment 594028 [details] etc.portage.tbz2
Created attachment 594030 [details] sci-mathematics:alt-ergo-2.3.0:20191026-012450.log
Created attachment 594032 [details] temp.tbz2
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 <tupone@gentoo.org> AuthorDate: 2019-10-28 21:15:02 +0000 Commit: Tupone Alfredo <tupone@gentoo.org> 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 <tupone@gentoo.org> sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 1 + 1 file changed, 1 insertion(+)
