Generating file src/lib/util/config.ml...done. Generating file src/bin/text/flags.dune...done. Generating file Makefile.config...done. Found dune in path. Error: The following libraries are missing in the default context: - cmdliner Hint: try: ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_systemd-j4-20211225-010032 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-9.3.1 [2] x86_64-pc-linux-gnu-10.3.1 [3] x86_64-pc-linux-gnu-11.2.1 * /usr/lib/llvm/13 13.0.0 Python 3.9.9 Available Ruby profiles: [1] ruby26 (with Rubygems) [2] ruby27 (with Rubygems) [3] ruby30 (with Rubygems) * Available Rust versions: [1] rust-bin-1.57.0 * The following VMs are available for generation-2: *) AdoptOpenJDK 8.312_p07 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 system-vm The Glorious Glasgow Haskell Compilation System, version 8.10.4 php cli: [1] php7.3 [2] php7.4 [3] php8.1 * HEAD of ::gentoo commit ac298d8bbbb579e1d03ece595f13c4131aad7666 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Tue Dec 28 01:34:58 2021 +0000 2021-12-28 01:34:57 UTC emerge -qpvO sci-mathematics/alt-ergo [ebuild N ] sci-mathematics/alt-ergo-2.4.1 USE="examples ocamlopt"
Created attachment 760629 [details] emerge-info.txt
Created attachment 760630 [details] emerge-history.txt
Created attachment 760631 [details] environment
Created attachment 760632 [details] etc.portage.tar.bz2
Created attachment 760633 [details] sci-mathematics:alt-ergo-2.4.1:20211228-015125.log
Created attachment 760634 [details] temp.tar.bz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b2ebfea24c268cef7c30cbea68442057993cb502 commit b2ebfea24c268cef7c30cbea68442057993cb502 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2021-12-28 13:39:49 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2021-12-28 13:40:20 +0000 sci-mathematics/alt-ergo: fix deps Closes: https://bugs.gentoo.org/830140 Closes: https://bugs.gentoo.org/830156 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org> .../alt-ergo/{alt-ergo-2.4.1.ebuild => alt-ergo-2.4.1-r1.ebuild} | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-)
