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

Bug 895770

Summary: sci-mathematics/stp-2.3.3-r2 help2man: can't get `--help' info from /var/tmp/portage/sci-mathematics/stp-2.3.3-r2/work/stp-2.3.3_build/stp
Product: Gentoo Linux Reporter: Toralf Förster <toralf>
Component: Current packagesAssignee: Gentoo musl team <musl>
Status: CONFIRMED ---    
Severity: normal CC: jeffrey, sci-mathematics
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---
Attachments: emerge-info.txt
emerge-history.txt
environment
etc.clang.tar.bz2
etc.portage.tar.bz2
logs.tar.bz2
sci-mathematics:stp-2.3.3-r2:20230221-110232.log.bz2
temp.tar.bz2

Description Toralf Förster gentoo-dev 2023-02-21 22:09:28 UTC
too long lines were shrinked:

[129/130] : && /usr/bin/x86_64-gentoo-linux-musl-g++ -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wextra -Wunused -pedantic -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreacha
[130/130] cd /var/tmp/portage/sci-mathematics/stp-2.3.3-r2/work/stp-2.3.3_build && help2man --name="Simple\ Theorem\ Prover\ SMT\ solver" --version-string=2.3.3 --help-option="--help" /var/tmp/portage/sci-mathematics/stp-2.3.3-r2/work/stp-2.3.3_build/stp -o /var/tmp/portage/sci-mathematics/stp-2.3.3
FAILED: CMakeFiles/man_stp.util 
cd /var/tmp/portage/sci-mathematics/stp-2.3.3-r2/work/stp-2.3.3_build && help2man --name="Simple\ Theorem\ Prover\ SMT\ solver" --version-string=2.3.3 --help-option="--help" /var/tmp/portage/sci-mathematics/stp-2.3.3-r2/work/stp-2.3.3_build/stp -o /var/tmp/portage/sci-mathematics/stp-2.3.3-r2/work/s
help2man: can't get `--help' info from /var/tmp/portage/sci-mathematics/stp-2.3.3-r2/work/stp-2.3.3_build/stp
Try `--no-discard-stderr' if option outputs to stderr
ninja: build stopped: subcommand failed.
 * ERROR: sci-mathematics/stp-2.3.3-r2::gentoo failed (compile phase):
 *   ninja -v -j5 -l0 failed

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.0_musl-j5-20230220-110025

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

gcc-config -l:
 [1] x86_64-gentoo-linux-musl-12 *
clang/llvm (if any):
clang version 15.0.7
Target: x86_64-gentoo-linux-musl
Thread model: posix
InstalledDir: /usr/lib/llvm/15/bin
Configuration file: /etc/clang/clang.cfg
/usr/lib/llvm/15
15.0.7
Python 3.10.10
Available Ruby profiles:
  [1]   ruby27 (with Rubygems)
  [2]   ruby30 (with Rubygems) *
The following VMs are available for generation-2:
*)	Eclipse Temurin JDK 17.0.6_p10 [openjdk-bin-17]
2)	Eclipse Temurin JDK 8.362_p09 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8 
  [2]   openjdk-bin-17  system-vm

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

  HEAD of ::gentoo
commit d01b46911761b5ac5e1c58faf49fb899c8d0e300
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Tue Feb 21 10:17:03 2023 +0000

    2023-02-21 10:17:03 UTC

emerge -qpvO sci-mathematics/stp
[ebuild  N    ] sci-mathematics/stp-2.3.3-r2  USE="python -cryptominisat -debug -test" PYTHON_SINGLE_TARGET="python3_10 -python3_9"
Comment 1 Toralf Förster gentoo-dev 2023-02-21 22:09:28 UTC
Created attachment 853626 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2023-02-21 22:09:30 UTC
Created attachment 853628 [details]
emerge-history.txt
Comment 3 Toralf Förster gentoo-dev 2023-02-21 22:09:31 UTC
Created attachment 853630 [details]
environment
Comment 4 Toralf Förster gentoo-dev 2023-02-21 22:09:32 UTC
Created attachment 853632 [details]
etc.clang.tar.bz2
Comment 5 Toralf Förster gentoo-dev 2023-02-21 22:09:33 UTC
Created attachment 853634 [details]
etc.portage.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2023-02-21 22:09:34 UTC
Created attachment 853636 [details]
logs.tar.bz2
Comment 7 Toralf Förster gentoo-dev 2023-02-21 22:09:35 UTC
Created attachment 853638 [details]
sci-mathematics:stp-2.3.3-r2:20230221-110232.log.bz2
Comment 8 Toralf Förster gentoo-dev 2023-02-21 22:09:36 UTC
Created attachment 853640 [details]
temp.tar.bz2
Comment 9 Maciej Barć gentoo-dev 2023-02-21 22:26:56 UTC
Couldn't reproduce (with unstable "sys-apps/help2man-1.49.3").

Is the file /var/tmp/portage/sci-mathematics/stp-2.3.3-r2/work/stp-2.3.3_build/stp executable?
Comment 10 Toralf Förster gentoo-dev 2023-02-21 22:40:10 UTC
(In reply to Maciej Barć from comment #9)
> Couldn't reproduce (with unstable "sys-apps/help2man-1.49.3").
> 
> Is the file
> /var/tmp/portage/sci-mathematics/stp-2.3.3-r2/work/stp-2.3.3_build/stp
> executable?

invisible from outside of the tinderbox - /var/tmp/portage is a tmpfs FWIW