Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 895224 - sci-mathematics/btor2tools-1.0.0_pre20220518-r1 - /.../btorsplit.cpp: error: s_verbosity was not declared in this scope
Summary: sci-mathematics/btor2tools-1.0.0_pre20220518-r1 - /.../btorsplit.cpp: error: ...
Status: CONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: gcc-13
  Show dependency tree
 
Reported: 2023-02-18 08:42 UTC by Toralf Förster
Modified: 2023-02-18 08:43 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments
emerge-info.txt (emerge-info.txt,21.03 KB, text/plain)
2023-02-18 08:42 UTC, Toralf Förster
Details
emerge-history.txt.bz2 (emerge-history.txt.bz2,68.76 KB, application/x-bzip)
2023-02-18 08:42 UTC, Toralf Förster
Details
environment (environment,97.89 KB, text/plain)
2023-02-18 08:43 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,42.86 KB, application/x-bzip)
2023-02-18 08:43 UTC, Toralf Förster
Details
logs.tar.bz2 (logs.tar.bz2,5.06 KB, application/x-bzip)
2023-02-18 08:43 UTC, Toralf Förster
Details
sci-mathematics:btor2tools-1.0.0_pre20220518-r1:20230218-070200.log (sci-mathematics:btor2tools-1.0.0_pre20220518-r1:20230218-070200.log,16.57 KB, text/plain)
2023-02-18 08:43 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,25.50 KB, application/x-bzip)
2023-02-18 08:43 UTC, Toralf Förster
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2023-02-18 08:42:57 UTC
      |        ^~~~~~~~
/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsplit.cpp:22:1: note: uint32_t is defined in header <cstdint>; did you forget to #include <cstdint>?
   21 | #include <vector>
  +++ |+#include <cstdint>
   22 | 
/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsplit.cpp: In function void split_file(std::string, bool):
/var/tmp/portage/sci-mathematics/btor2tools-1.0.0_pre20220518-r1/work/btor2tools-b8456dda4780789e882f5791eb486f295ade4da4/src/btorsplit.cpp:97:7: error: s_verbosity was not declared in this scope
   97 |   if (s_verbosity)
      |       ^~~~~~~~~~~

  -------------------------------------------------------------------

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_systemd-j4-20230214-180043

  -------------------------------------------------------------------

GNUMAKEFLAGS="$GNUMAKEFLAGS --jobserver-style=pipe"
gcc-config -l:
 [1] x86_64-pc-linux-gnu-11
 [2] x86_64-pc-linux-gnu-13 *
clang/llvm (if any):
/usr/lib/llvm/15
15.0.7
Python 3.10.10
Available Rust versions:
  [1]   rust-1.67.1 *
The following VMs are available for generation-2:
1)	OpenJDK 11.0.18_p10 [openjdk-11]
2)	OpenJDK 17.0.6_p10 [openjdk-17]
*)	Eclipse Temurin JDK 17.0.6_p10 [openjdk-bin-17]
4)	Eclipse Temurin JDK 8.362_p09 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-11 
  [2]   openjdk-17 
  [3]   openjdk-bin-8 
  [4]   openjdk-bin-17  system-vm

php cli (if any):
  [1]   php7.4
  [2]   php8.0
  [3]   php8.2 *

  HEAD of ::gentoo
commit afcd6c56d316197a7538f4d5ab4b9c1971e9d172
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Sat Feb 18 06:16:53 2023 +0000

    2023-02-18 06:16:52 UTC

emerge -qpvO sci-mathematics/btor2tools
[ebuild  N    ] sci-mathematics/btor2tools-1.0.0_pre20220518-r1  USE="-examples"
Comment 1 Toralf Förster gentoo-dev 2023-02-18 08:42:58 UTC
Created attachment 852544 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2023-02-18 08:42:59 UTC
Created attachment 852546 [details]
emerge-history.txt.bz2
Comment 3 Toralf Förster gentoo-dev 2023-02-18 08:43:01 UTC
Created attachment 852548 [details]
environment
Comment 4 Toralf Förster gentoo-dev 2023-02-18 08:43:02 UTC
Created attachment 852550 [details]
etc.portage.tar.bz2
Comment 5 Toralf Förster gentoo-dev 2023-02-18 08:43:02 UTC
Created attachment 852552 [details]
logs.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2023-02-18 08:43:03 UTC
Created attachment 852554 [details]
sci-mathematics:btor2tools-1.0.0_pre20220518-r1:20230218-070200.log
Comment 7 Toralf Förster gentoo-dev 2023-02-18 08:43:04 UTC
Created attachment 852556 [details]
temp.tar.bz2