Generating file Makefile.config...done. Found dune in path. Error: The following libraries are missing in the default context: - lablgtk2 - lablgtk2.sourceview2 - num ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_systemd-libressl_abi32+64-20200329-120004 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-9.3.0 * clang version 10.0.0 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/10/bin /usr/lib/llvm/10 10.0.0 Available Python interpreters, in order of preference: [1] python3.8 [2] python3.7 [3] python3.6 [4] python2.7 (fallback) [5] pypy3 (fallback) Available Ruby profiles: [1] ruby24 (with Rubygems) [2] ruby25 (with Rubygems) * Available Rust versions: [1] rust-bin-1.42.0 [2] rust-1.42.0 * The following VMs are available for generation-2: *) AdoptOpenJDK 8.242_p08 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 system-vm The Glorious Glasgow Haskell Compilation System, version 8.0.2 timestamp of HEAD at this tinderbox image: /var/db/repos/gentoo Mon 06 Apr 2020 03:07:46 AM UTC /var/db/repos/libressl Fri 03 Apr 2020 07:10:10 PM UTC emerge -qpvO sci-mathematics/alt-ergo [ebuild N ] sci-mathematics/alt-ergo-2.3.0 USE="ocamlopt -examples -gtk"
there is still a similar issue at unstable amd64 tinderbox image 17.1_systemd-libressl_abi32+64-20200329-120004 (see bug 692252)
Created attachment 630654 [details] emerge-info.txt
Created attachment 630656 [details] emerge-history.txt
Created attachment 630658 [details] environment
Created attachment 630660 [details] etc.portage.tbz2
Created attachment 630662 [details] sci-mathematics:alt-ergo-2.3.0:20200406-041221.log
Created attachment 630664 [details] temp.tbz2
Waiting for dev-ml/num to become stable
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5adc972cfb26d6e8e3bd18c8c12b7adda31739a5 commit 5adc972cfb26d6e8e3bd18c8c12b7adda31739a5 Author: Alfredo Tupone <tupone@gentoo.org> AuthorDate: 2020-05-25 17:01:22 +0000 Commit: Alfredo Tupone <tupone@gentoo.org> CommitDate: 2020-05-25 17:01:22 +0000 sci-mathematics/alt-ergo: fix dependency Closes: https://bugs.gentoo.org/716416 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-)
