Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 828941

Summary: sci-mathematics/vampire-4.6.1 - /.../ScheduleExecutor.cpp: error: SIGCONT was not declared in this scope
Product: Gentoo Linux Reporter: Toralf Förster <toralf>
Component: Current packagesAssignee: Gentoo musl team <musl>
Status: RESOLVED FIXED    
Severity: normal CC: xgqt
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---
Attachments: emerge-info.txt
emerge-history.txt
environment
etc.portage.tar.bz2
logs.tar.bz2
sci-mathematics:vampire-4.6.1:20211211-163430.log
temp.tar.bz2

Description Toralf Förster gentoo-dev 2021-12-11 16:42:37 UTC
too long lines were shrinked:

[1/250] /usr/bin/x86_64-gentoo-linux-musl-g++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1  -pipe -march=native -fno-diagnostics-color -O2 -Wall -std=c++14 -MD -MT CMakeFiles/obj.dir/CASC/ScheduleExecutor.cpp.o -MF CMakeFiles/obj.dir/CASC/Sch
FAILED: CMakeFiles/obj.dir/CASC/ScheduleExecutor.cpp.o 
/usr/bin/x86_64-gentoo-linux-musl-g++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1  -pipe -march=native -fno-diagnostics-color -O2 -Wall -std=c++14 -MD -MT CMakeFiles/obj.dir/CASC/ScheduleExecutor.cpp.o -MF CMakeFiles/obj.dir/CASC/ScheduleExe
/var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1/CASC/ScheduleExecutor.cpp: In member function 'bool CASC::ScheduleExecutor::run(const Schedule&)':
/var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1/CASC/ScheduleExecutor.cpp:99:52: error: 'SIGCONT' was not declared in this scope
   99 |         Multiprocessing::instance()->kill(process, SIGCONT);
      |                                                    ^~~~~~~
/var/tmp/portage/sci-mathematics/vampire-4.6.1/work/vampire-4.6.1/CASC/ScheduleExecutor.cpp:156:55: error: 'SIGKILL' was not declared in this scope
  156 |     Multiprocessing::instance()->killNoCheck(process, SIGKILL);

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.0_musl_hardened-j4-20211210-222208

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

gcc-config -l:
 [1] x86_64-gentoo-linux-musl-11.2.1 *
clang version 13.0.0
Target: x86_64-gentoo-linux-musl
Thread model: posix
InstalledDir: /usr/lib/llvm/13/bin
/usr/lib/llvm/13
13.0.0
Python 3.9.9
Available Ruby profiles:
  (none found)
Available Rust versions:
  [1]   rust-bin-1.57.0 *
php cli:

  HEAD of ::gentoo
commit 8be496be3cd6a2256a0959bfa7e6928803cc4d0e
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Sat Dec 11 15:21:43 2021 +0000

    2021-12-11 15:21:42 UTC

emerge -qpvO sci-mathematics/vampire
[ebuild  N    ] sci-mathematics/vampire-4.6.1  USE="z3 -debug"
Comment 1 Toralf Förster gentoo-dev 2021-12-11 16:42:38 UTC
Created attachment 758568 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2021-12-11 16:42:39 UTC
Created attachment 758569 [details]
emerge-history.txt
Comment 3 Toralf Förster gentoo-dev 2021-12-11 16:42:40 UTC
Created attachment 758570 [details]
environment
Comment 4 Toralf Förster gentoo-dev 2021-12-11 16:42:41 UTC
Created attachment 758571 [details]
etc.portage.tar.bz2
Comment 5 Toralf Förster gentoo-dev 2021-12-11 16:42:42 UTC
Created attachment 758572 [details]
logs.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2021-12-11 16:42:43 UTC
Created attachment 758573 [details]
sci-mathematics:vampire-4.6.1:20211211-163430.log
Comment 7 Toralf Förster gentoo-dev 2021-12-11 16:42:44 UTC
Created attachment 758574 [details]
temp.tar.bz2
Comment 8 Maciej Barć gentoo-dev 2023-08-22 14:29:10 UTC
4.6.1 is already gone from the tree.