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"
Created attachment 676819 [details] emerge-info.txt
Created attachment 676822 [details] emerge-history.txt
Created attachment 676825 [details] environment
Created attachment 676828 [details] etc.portage.tbz2
Created attachment 676831 [details] logs.tbz2
Created attachment 676834 [details] sci-mathematics:alt-ergo-1.30:20201205-112214.log
Created attachment 676837 [details] temp.tbz2
I do not see dev-ml/lablgtk in the emerge history
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(-)
