Bug 940621

Summary:	sci-mathematics/flocq-4.1.1 - [ncurses-6.5] [libtool] [gcc-15] checking for coqc... ./configure:line <snip>: which: command not found
Product:	Gentoo Linux	Reporter:	Toralf Förster <toralf>
Component:	Current packages	Assignee:	Gentoo Science Mathematics related packages <sci-mathematics>
Status:	CONFIRMED ---
Severity:	normal
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Bug Depends on:
Bug Blocks:	646588
Attachments:	emerge-info.txt emerge-history.txt environment etc.portage.tar.xz logs.tar.xz qlist-info.txt sci-mathematics:flocq-4.1.1:20241001-170638.log temp.tar.xz

Description Toralf Förster gentoo-dev

2024-10-01 17:30:03 UTC

>>> Unpacking flocq-4.1.1.tar.gz to /var/tmp/portage/sci-mathematics/flocq-4.1.1/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/flocq-4.1.1/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/flocq-4.1.1/work/flocq-4.1.1 ...
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/flocq-4.1.1/work/flocq-4.1.1 ...
./configure --prefix=/usr --build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu --mandir=/usr/share/man --infodir=/usr/share/info --datadir=/usr/share --sysconfdir=/etc --localstatedir=/var/lib --libdir=/usr/lib64
checking for coqc... ./configure: line 2103: which: command not found
not found
configure: error: missing Coq compiler

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 23.0_hardened_systemd-20241001-093507

  UNMASKED:
  /etc/portage/package.unmask/60gcc:<sys-devel/gcc-15.0.9999:15
    Requested by sam
    Issues involving opaque types / incomplete typedefs should block bug 930805
  /etc/portage/package.unmask/50unstable:>=sys-libs/ncurses-6.5

  The attached etc.portage.tar.xz has all details.
  -------------------------------------------------------------------

gcc-config -l:
 [1] x86_64-pc-linux-gnu-15 *
clang/llvm (if any):
Python 3.12.6
Available Ruby profiles:
  [1]   ruby31 (with Rubygems)
  [2]   ruby32 (with Rubygems)
  [3]   ruby33 (with Rubygems) *
php cli (if any):

  HEAD of ::gentoo
commit 224c115de5a8d9052f5226eb82082848af2381e3
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Tue Oct 1 16:06:29 2024 +0000

    2024-10-01 16:06:29 UTC

emerge -qpvO =sci-mathematics/flocq-4.1.1
[ebuild  N    ] sci-mathematics/flocq-4.1.1

Comment 1 Toralf Förster gentoo-dev

2024-10-01 17:30:04 UTC

Created attachment 904606 [details]
emerge-info.txt

Comment 2 Toralf Förster gentoo-dev

2024-10-01 17:30:05 UTC

Created attachment 904607 [details]
emerge-history.txt

Comment 3 Toralf Förster gentoo-dev

2024-10-01 17:30:06 UTC

Created attachment 904608 [details]
environment

Comment 4 Toralf Förster gentoo-dev

2024-10-01 17:30:09 UTC

Created attachment 904609 [details]
etc.portage.tar.xz

Comment 5 Toralf Förster gentoo-dev

2024-10-01 17:30:11 UTC

Created attachment 904610 [details]
logs.tar.xz

Comment 6 Toralf Förster gentoo-dev

2024-10-01 17:30:12 UTC

Created attachment 904611 [details]
qlist-info.txt

Comment 7 Toralf Förster gentoo-dev

2024-10-01 17:30:13 UTC

Created attachment 904612 [details]
sci-mathematics:flocq-4.1.1:20241001-170638.log

Comment 8 Toralf Förster gentoo-dev

2024-10-01 17:30:14 UTC

Created attachment 904613 [details]
temp.tar.xz