Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 925478

Summary: sci-mathematics/lean-4.2.0 - One or more CMake variables were not used by the project:
Product: Gentoo Linux Reporter: Toralf Förster <toralf>
Component: Current packagesAssignee: 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: ---
Attachments: emerge-info.txt
emerge-history.txt
etc.clang.tar.xz
etc.portage.tar.xz
qlist-info.txt
sci-mathematics:lean-4.2.0:20240225-021141.log

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