Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 828941 - sci-mathematics/vampire-4.6.1 - /.../ScheduleExecutor.cpp: error: SIGCONT was not declared in this scope
Summary: sci-mathematics/vampire-4.6.1 - /.../ScheduleExecutor.cpp: error: SIGCONT was...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo musl team
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2021-12-11 16:42 UTC by Toralf Förster
Modified: 2023-08-22 14:29 UTC (History)
1 user (show)

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


Attachments
emerge-info.txt (emerge-info.txt,14.69 KB, text/plain)
2021-12-11 16:42 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,102.64 KB, text/plain)
2021-12-11 16:42 UTC, Toralf Förster
Details
environment (environment,85.62 KB, text/plain)
2021-12-11 16:42 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,10.75 KB, application/x-bzip)
2021-12-11 16:42 UTC, Toralf Förster
Details
logs.tar.bz2 (logs.tar.bz2,4.61 KB, application/x-bzip)
2021-12-11 16:42 UTC, Toralf Förster
Details
sci-mathematics:vampire-4.6.1:20211211-163430.log (sci-mathematics:vampire-4.6.1:20211211-163430.log,7.64 KB, text/plain)
2021-12-11 16:42 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,22.02 KB, application/x-bzip)
2021-12-11 16:42 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 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.