/var/tmp/portage/sci-mathematics/lean-3.39.1/work/lean-3.39.1/src/frontends/lean/widget.h: At global scope: /var/tmp/portage/sci-mathematics/lean-3.39.1/work/lean-3.39.1/src/frontends/lean/widget.h:60:57: error: return type struct lean::json’ is incomplete 60 | json to_json(list<unsigned> const & route = {}) const { return m_ptr->to_json(route); } | ^ /var/tmp/portage/sci-mathematics/lean-3.39.1/work/lean-3.39.1/src/frontends/lean/widget.h:66:10: error: field m_attrs’ has incomplete type lean::json’ 66 | json m_attrs; | ^~~~~~~ ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_desktop_gnome-j4-20220216-224552 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-9.3.1 [2] x86_64-pc-linux-gnu-11.2.1 * clang/llvm (if any): /usr/lib/llvm/13 13.0.1 Python 3.9.10 Available Ruby profiles: [1] ruby26 (with Rubygems) [2] ruby27 (with Rubygems) [3] ruby30 (with Rubygems) * Available Rust versions: [1] rust-1.58.1 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 11.0.14_p9 [openjdk-bin-11] *) Eclipse Temurin JDK 8.322_p06 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 system-vm [2] openjdk-bin-11 The Glorious Glasgow Haskell Compilation System, version 8.10.4 php cli: [1] php7.4 [2] php8.0 [3] php8.1 * HEAD of ::gentoo commit eda74d422064c369ddda5ec113c2899cbec8057d Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Tue Feb 22 12:22:02 2022 +0000 2022-02-22 12:22:01 UTC emerge -qpvO sci-mathematics/lean [ebuild N ] sci-mathematics/lean-3.39.1 USE="threads -debug -json"
Created attachment 765657 [details] emerge-info.txt
Created attachment 765658 [details] emerge-history.txt.bz2
Created attachment 765659 [details] environment
Created attachment 765660 [details] etc.portage.tar.bz2
Created attachment 765661 [details] logs.tar.bz2
Created attachment 765662 [details] sci-mathematics:lean-3.39.1:20220222-134539.log
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=024840070aea8eb50149f8f9d97df53a3f1fb940 commit 024840070aea8eb50149f8f9d97df53a3f1fb940 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2022-02-22 18:32:10 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2022-02-22 18:34:04 +0000 sci-mathematics/lean: remove USE=json and inherit of optfeature Closes: https://bugs.gentoo.org/833900 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/lean/lean-3.38.0.ebuild | 6 +++--- sci-mathematics/lean/lean-3.39.1.ebuild | 6 +++--- sci-mathematics/lean/lean-3.40.0.ebuild | 6 +++--- sci-mathematics/lean/lean-3.9999.ebuild | 8 ++++---- sci-mathematics/lean/metadata.xml | 3 --- 5 files changed, 13 insertions(+), 16 deletions(-)
