Bug 940621 – sci-mathematics/flocq-4.1.1 - [ncurses-6.5] [libtool] [gcc-15] checking for coqc... ./configure:line <snip>: which: command not found

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Toralf Förster 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 <[e-mail]>
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 2024-10-01 17:30:04 UTC]

Created attachment 904606 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2024-10-01 17:30:05 UTC]

Created attachment 904607 [details]
emerge-history.txt

[Comment 3 Toralf Förster 2024-10-01 17:30:06 UTC]

Created attachment 904608 [details]
environment

[Comment 4 Toralf Förster 2024-10-01 17:30:09 UTC]

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

[Comment 5 Toralf Förster 2024-10-01 17:30:11 UTC]

Created attachment 904610 [details]
logs.tar.xz

[Comment 6 Toralf Förster 2024-10-01 17:30:12 UTC]

Created attachment 904611 [details]
qlist-info.txt

[Comment 7 Toralf Förster 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 2024-10-01 17:30:14 UTC]

Created attachment 904613 [details]
temp.tar.xz