Summary: | sci-mathematics/btor2tools-1.0.0_pre20220518-r1 - /.../btorsplit.cpp: error: s_verbosity was not declared in this scope | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
Component: | Current packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
Status: | RESOLVED FIXED | ||
Severity: | normal | ||
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Bug Depends on: | |||
Bug Blocks: | 865117 | ||
Attachments: |
emerge-info.txt
emerge-history.txt.bz2 environment etc.portage.tar.bz2 logs.tar.bz2 sci-mathematics:btor2tools-1.0.0_pre20220518-r1:20230218-070200.log temp.tar.bz2 |
Description
Toralf Förster
2023-02-18 08:42:57 UTC
Created attachment 852544 [details]
emerge-info.txt
Created attachment 852546 [details]
emerge-history.txt.bz2
Created attachment 852548 [details]
environment
Created attachment 852550 [details]
etc.portage.tar.bz2
Created attachment 852552 [details]
logs.tar.bz2
Created attachment 852554 [details]
sci-mathematics:btor2tools-1.0.0_pre20220518-r1:20230218-070200.log
Created attachment 852556 [details]
temp.tar.bz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e48c503d9ca71e3a2d7eca85febde7630cb2ef60 commit e48c503d9ca71e3a2d7eca85febde7630cb2ef60 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2023-11-02 21:52:39 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2023-11-02 22:11:22 +0000 sci-mathematics/btor2tools: patch includes Closes: https://bugs.gentoo.org/908486 Closes: https://bugs.gentoo.org/895224 Signed-off-by: Maciej Barć <xgqt@gentoo.org> .../btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild | 17 +++++++++++------ ...btor2tools-1.0.0_pre20220518-btorsplit-cstdint.patch | 10 ++++++++++ 2 files changed, 21 insertions(+), 6 deletions(-) |