Bug 881475

Summary:	sci-mathematics/prover9-2009.11a - /.../cp: cannot stat mace4: No such file or directory
Product:	Gentoo Linux	Reporter:	Toralf Förster <toralf>
Component:	Current packages	Assignee:	Gentoo Science Mathematics related packages <sci-mathematics>
Status:	CONFIRMED ---
Severity:	normal	CC:	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.portage.tar.bz2 sci-mathematics:prover9-2009.11a:20221116-113037.log temp.tar.bz2

Description Toralf Förster gentoo-dev

2022-11-16 12:10:51 UTC

cd mace4.src    && make all
make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src'
libtool --tag=CC --mode=install /bin/cp mace4 `pwd`/../bin
libtool: install: /bin/cp mace4 /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src/../bin/mace4
/bin/cp: cannot stat 'mace4': No such file or directory
make[1]: *** [Makefile:47: install] Error 1 shuffle=3017164869
make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src'

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_desktop_systemd-j4-20221116-070020

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

GNUMAKEFLAGS="$GNUMAKEFLAGS --shuffle"
gcc-config -l:
 [1] x86_64-pc-linux-gnu-12 *
clang/llvm (if any):
/usr/lib/llvm/15
15.0.4
Python 3.10.8
Available Ruby profiles:
  [1]   ruby27 (with Rubygems)
  [2]   ruby31 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.65.0 *
The Glorious Glasgow Haskell Compilation System, version 8.10.6
php cli (if any):
  [1]   php8.1 *

  HEAD of ::gentoo
commit a862722fc54ded710dbcb3657587e81aad5b7ecc
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Wed Nov 16 09:46:51 2022 +0000

    2022-11-16 09:46:51 UTC

emerge -qpvO sci-mathematics/prover9
[ebuild  N    ] sci-mathematics/prover9-2009.11a  USE="-examples"

Comment 1 Toralf Förster gentoo-dev

2022-11-16 12:10:52 UTC

Created attachment 832939 [details]
emerge-info.txt

Comment 2 Toralf Förster gentoo-dev

2022-11-16 12:10:53 UTC

Created attachment 832941 [details]
emerge-history.txt

Comment 3 Toralf Förster gentoo-dev

2022-11-16 12:10:54 UTC

Created attachment 832943 [details]
environment

Comment 4 Toralf Förster gentoo-dev

2022-11-16 12:10:55 UTC

Created attachment 832945 [details]
etc.portage.tar.bz2

Comment 5 Toralf Förster gentoo-dev

2022-11-16 12:10:56 UTC

Created attachment 832947 [details]
sci-mathematics:prover9-2009.11a:20221116-113037.log

Comment 6 Toralf Förster gentoo-dev

2022-11-16 12:10:57 UTC

Created attachment 832949 [details]
temp.tar.bz2