Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 939891 - sci-mathematics/lean-4.14.0-r1 - [ncurses-6.5] [gcc-15] One or more CMake variables were not used by the project:
Summary: sci-mathematics/lean-4.14.0-r1 - [ncurses-6.5] [gcc-15] One or more CMake var...
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:
: 923378 (view as bug list)
Depends on:
Blocks:
 
Reported: 2024-09-20 07:15 UTC by Toralf Förster
Modified: 2025-01-03 12:58 UTC (History)
1 user (show)

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


Attachments
emerge-info.txt (emerge-info.txt,18.50 KB, text/plain)
2024-09-20 07:15 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,72.81 KB, text/plain)
2024-09-20 07:15 UTC, Toralf Förster
Details
etc.clang.tar.xz (etc.clang.tar.xz,1020 bytes, application/x-xz)
2024-09-20 07:15 UTC, Toralf Förster
Details
etc.portage.tar.xz (etc.portage.tar.xz,16.81 KB, application/x-xz)
2024-09-20 07:15 UTC, Toralf Förster
Details
qlist-info.txt (qlist-info.txt,165.08 KB, text/plain)
2024-09-20 07:15 UTC, Toralf Förster
Details
sci-mathematics:lean-4.11.0:20240920-020723.log (sci-mathematics:lean-4.11.0:20240920-020723.log,312 bytes, text/plain)
2024-09-20 07:15 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 2024-09-20 07:15:42 UTC
QA Notice: One or more CMake variables were not used by the project:
  CMAKE_ASM-ATT_FLAGS_RELEASE
  CMAKE_ASM_FLAGS_RELEASE
  CMAKE_EDIT_COMMAND
  CMAKE_Fortran_FLAGS_RELEASE
  CMAKE_INSTALL_DOCDIR
  CMAKE_INSTALL_INFODIR
  CMAKE_INSTALL_LIBDIR

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 23.0_no_multilib_systemd-20240918-225006

  The build log matches a QA pattern or sth. requested by a dev.
  The attached etc.portage.tar.xz has all details.
  -------------------------------------------------------------------
Comment 1 Toralf Förster gentoo-dev 2024-09-20 07:15:43 UTC
Created attachment 903409 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2024-09-20 07:15:44 UTC
Created attachment 903410 [details]
emerge-history.txt
Comment 3 Toralf Förster gentoo-dev 2024-09-20 07:15:45 UTC
Created attachment 903411 [details]
etc.clang.tar.xz
Comment 4 Toralf Förster gentoo-dev 2024-09-20 07:15:46 UTC
Created attachment 903412 [details]
etc.portage.tar.xz
Comment 5 Toralf Förster gentoo-dev 2024-09-20 07:15:47 UTC
Created attachment 903413 [details]
qlist-info.txt
Comment 6 Toralf Förster gentoo-dev 2024-09-20 07:15:48 UTC
Created attachment 903414 [details]
sci-mathematics:lean-4.11.0:20240920-020723.log
Comment 7 Maciej Barć gentoo-dev 2024-12-28 22:22:13 UTC
*** Bug 923378 has been marked as a duplicate of this bug. ***
Comment 8 Agostino Sarubbo gentoo-dev 2025-01-03 12:58:49 UTC
ci has reproduced this issue with version 4.14.0-r1 - Updating summary.