Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 925478 - sci-mathematics/lean-4.2.0 - One or more CMake variables were not used by the project:
Summary: sci-mathematics/lean-4.2.0 - One or more CMake variables were not used by the...
Status: CONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2024-02-25 08:26 UTC by Toralf Förster
Modified: 2024-02-25 08:26 UTC (History)
0 users

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


Attachments
emerge-info.txt (emerge-info.txt,18.87 KB, text/plain)
2024-02-25 08:26 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,48.25 KB, text/plain)
2024-02-25 08:26 UTC, Toralf Förster
Details
etc.clang.tar.xz (etc.clang.tar.xz,1.13 KB, application/x-xz)
2024-02-25 08:26 UTC, Toralf Förster
Details
etc.portage.tar.xz (etc.portage.tar.xz,14.66 KB, application/x-xz)
2024-02-25 08:26 UTC, Toralf Förster
Details
qlist-info.txt (qlist-info.txt,92.67 KB, text/plain)
2024-02-25 08:26 UTC, Toralf Förster
Details
sci-mathematics:lean-4.2.0:20240225-021141.log (sci-mathematics:lean-4.2.0:20240225-021141.log,346 bytes, text/plain)
2024-02-25 08:26 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-02-25 08:26:21 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: 17.1_desktop_plasma_systemd-20240223-191503

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

  The log matches a QA pattern or a pattern requested by a Gentoo developer.
Comment 1 Toralf Förster gentoo-dev 2024-02-25 08:26:22 UTC
Created attachment 885933 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2024-02-25 08:26:23 UTC
Created attachment 885934 [details]
emerge-history.txt
Comment 3 Toralf Förster gentoo-dev 2024-02-25 08:26:24 UTC
Created attachment 885935 [details]
etc.clang.tar.xz
Comment 4 Toralf Förster gentoo-dev 2024-02-25 08:26:25 UTC
Created attachment 885936 [details]
etc.portage.tar.xz
Comment 5 Toralf Förster gentoo-dev 2024-02-25 08:26:26 UTC
Created attachment 885937 [details]
qlist-info.txt
Comment 6 Toralf Förster gentoo-dev 2024-02-25 08:26:27 UTC
Created attachment 885938 [details]
sci-mathematics:lean-4.2.0:20240225-021141.log