Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 951466 - sci-mathematics/lean-4.14.0-r1 - [meson] [gcc-15] error: unrecognized command-line option --print-target-triple
Summary: sci-mathematics/lean-4.14.0-r1 - [meson] [gcc-15] error: unrecognized command...
Status: CONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2025-03-16 17:42 UTC by Toralf Förster
Modified: 2025-03-16 18:45 UTC (History)
2 users (show)

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


Attachments
emerge-info.txt (emerge-info.txt,18.83 KB, text/plain)
2025-03-16 17:42 UTC, Toralf Förster
Details
CMakeCache.txt (CMakeCache.txt,20.87 KB, text/plain)
2025-03-16 17:42 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,245.54 KB, text/plain)
2025-03-16 17:42 UTC, Toralf Förster
Details
environment (environment,131.18 KB, text/plain)
2025-03-16 17:42 UTC, Toralf Förster
Details
etc.clang.tar.xz (etc.clang.tar.xz,1.60 KB, application/x-xz)
2025-03-16 17:42 UTC, Toralf Förster
Details
etc.portage.tar.xz (etc.portage.tar.xz,38.75 KB, application/x-xz)
2025-03-16 17:42 UTC, Toralf Förster
Details
logs.tar.xz (logs.tar.xz,126.50 KB, application/x-xz)
2025-03-16 17:42 UTC, Toralf Förster
Details
qlist-info.txt.xz (qlist-info.txt.xz,62.31 KB, application/x-xz)
2025-03-16 17:42 UTC, Toralf Förster
Details
sci-mathematics:lean-4.14.0-r1:20250316-164239.log.xz (sci-mathematics:lean-4.14.0-r1:20250316-164239.log.xz,80.16 KB, application/x-xz)
2025-03-16 17:42 UTC, Toralf Förster
Details
temp.tar.xz (temp.tar.xz,29.03 KB, application/x-xz)
2025-03-16 17:42 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 2025-03-16 17:42:04 UTC
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /usr/bin/cc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
cc: error: unrecognized command-line option --print-target-triple
cc: fatal error: no input files
compilation terminated.
-- No build type selected, default to Release

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 23.0-20250312-115502

  KEYWORDED/UNMASKED

  [gcc-15] Requested by sam
  <sys-devel/gcc-15.0.9999:15

  [meson] Please re-assign to ztrawhcse@ if you cannot reproduced it with regular meson.
  <dev-build/meson-9999

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-15 *
clang version 20.1.0
llvm-config: 20.1.0
Python 3.12.9
go version go1.24.1 linux/amd64
  [1]   php8.2 *
  [2]   php8.3
Available Ruby profiles:
  [1]   ruby32 (with Rubygems)
  [2]   ruby33 (with Rubygems)
  [3]   ruby34 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.77.1
  [2]   rust-bin-1.85.0
  [3]   rust-1.85.0 *
The following VMs are available for generation-2:
*)	Eclipse Temurin JDK 21.0.6_p7 [openjdk-bin-21]
2)	Eclipse Temurin JDK 8.442_p06 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8 
  [2]   openjdk-bin-21  system-vm


  HEAD of ::gentoo
commit 3ffcd910bed2a8aaf824772da0c09239bbe32165
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Sun Mar 16 15:20:02 2025 +0000

    2025-03-16 15:20:01 UTC

emerge -qpvO =sci-mathematics/lean-4.14.0-r1
[ebuild  N    ] sci-mathematics/lean-4.14.0-r1  USE="-debug -source"
Comment 1 Toralf Förster gentoo-dev 2025-03-16 17:42:05 UTC
Created attachment 920929 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2025-03-16 17:42:06 UTC
Created attachment 920930 [details]
CMakeCache.txt
Comment 3 Toralf Förster gentoo-dev 2025-03-16 17:42:07 UTC
Created attachment 920931 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2025-03-16 17:42:08 UTC
Created attachment 920932 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2025-03-16 17:42:09 UTC
Created attachment 920933 [details]
etc.clang.tar.xz
Comment 6 Toralf Förster gentoo-dev 2025-03-16 17:42:10 UTC
Created attachment 920934 [details]
etc.portage.tar.xz
Comment 7 Toralf Förster gentoo-dev 2025-03-16 17:42:11 UTC
Created attachment 920935 [details]
logs.tar.xz
Comment 8 Toralf Förster gentoo-dev 2025-03-16 17:42:13 UTC
Created attachment 920936 [details]
qlist-info.txt.xz
Comment 9 Toralf Förster gentoo-dev 2025-03-16 17:42:14 UTC
Created attachment 920937 [details]
sci-mathematics:lean-4.14.0-r1:20250316-164239.log.xz
Comment 10 Toralf Förster gentoo-dev 2025-03-16 17:42:15 UTC
Created attachment 920938 [details]
temp.tar.xz
Comment 11 Maciej Barć gentoo-dev 2025-03-16 18:45:54 UTC
> Stack overflow detected. Aborting.

^ Is the real build error here.

> cc: error: unrecognized command-line option --print-target-triple

^ Is for detection.
It _might_ influence build flags.