Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 895770 - 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
Summary: sci-mathematics/stp-2.3.3-r2 help2man: can't get `--help' info from /var/tmp/...
Status: CONFIRMED
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: 2023-02-21 22:09 UTC by Toralf Förster
Modified: 2024-04-02 15:21 UTC (History)
2 users (show)

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


Attachments
emerge-info.txt (emerge-info.txt,18.48 KB, text/plain)
2023-02-21 22:09 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,185.82 KB, text/plain)
2023-02-21 22:09 UTC, Toralf Förster
Details
environment (environment,126.93 KB, text/plain)
2023-02-21 22:09 UTC, Toralf Förster
Details
etc.clang.tar.bz2 (etc.clang.tar.bz2,698 bytes, application/x-bzip)
2023-02-21 22:09 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,19.49 KB, application/x-bzip)
2023-02-21 22:09 UTC, Toralf Förster
Details
logs.tar.bz2 (logs.tar.bz2,5.82 KB, application/x-bzip)
2023-02-21 22:09 UTC, Toralf Förster
Details
sci-mathematics:stp-2.3.3-r2:20230221-110232.log.bz2 (sci-mathematics:stp-2.3.3-r2:20230221-110232.log.bz2,10.95 KB, application/x-bzip)
2023-02-21 22:09 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,40.02 KB, application/x-bzip)
2023-02-21 22:09 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-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