commit: 96fba3bd3742c4f8c4c43c05aef69b7a22ba7efa Author: Michael Mair-Keimberger <mmk <AT> levelnine <DOT> at> AuthorDate: Sun Feb 9 08:59:18 2025 +0000 Commit: Conrad Kostecki <conikost <AT> gentoo <DOT> org> CommitDate: Sun Feb 23 22:16:49 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=96fba3bd
sci-mathematics/lean: remove unused patches Signed-off-by: Michael Mair-Keimberger <mmk <AT> levelnine.at> Closes: https://github.com/gentoo/gentoo/pull/40497 Signed-off-by: Conrad Kostecki <conikost <AT> gentoo.org> .../lean/files/lean-3.50.3-gcc-13.patch | 10 ---------- .../lean/files/lean-CMakeLists-fix_flags.patch | 23 ---------------------- 2 files changed, 33 deletions(-) diff --git a/sci-mathematics/lean/files/lean-3.50.3-gcc-13.patch b/sci-mathematics/lean/files/lean-3.50.3-gcc-13.patch deleted file mode 100644 index 273dd5161080..000000000000 --- a/sci-mathematics/lean/files/lean-3.50.3-gcc-13.patch +++ /dev/null @@ -1,10 +0,0 @@ ---- a/shell/lean_js_main.cpp -+++ b/shell/lean_js_main.cpp -@@ -4,6 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE. - - Author: Leonardo de Moura - */ -+#include <cstdint> - #include <iostream> - #include <string> - #include "shell/lean_js.h" diff --git a/sci-mathematics/lean/files/lean-CMakeLists-fix_flags.patch b/sci-mathematics/lean/files/lean-CMakeLists-fix_flags.patch deleted file mode 100644 index 1fd788fd79be..000000000000 --- a/sci-mathematics/lean/files/lean-CMakeLists-fix_flags.patch +++ /dev/null @@ -1,23 +0,0 @@ -index f0efdf425..4cd461986 100644 ---- a/CMakeLists.txt -+++ b/CMakeLists.txt -@@ -194,7 +194,7 @@ set(CMAKE_CXX_FLAGS_DEBUG "-DLEAN_DEBUG -DLEAN_TRACE") - set(CMAKE_CXX_FLAGS_MINSIZEREL "-DNDEBUG") - set(CMAKE_CXX_FLAGS_RELEASE "-DNDEBUG") - set(CMAKE_CXX_FLAGS_RELWITHDEBINFO "-DLEAN_DEBUG") --set(CMAKE_CXX_FLAGS_GPROF "-O2 -g -pg") -+set(CMAKE_CXX_FLAGS_GPROF "-g -pg") - - # OSX .dmg generation (this is working in progress) - set(CPACK_DMG_BACKGROUND_IMAGE "${LEAN_SOURCE_DIR}/../images/lean.png") -@@ -264,8 +264,8 @@ if (NOT MSVC) - set(CMAKE_CXX_FLAGS "-Wall -Wextra -std=c++11 ${CMAKE_CXX_FLAGS}") - set(CMAKE_CXX_FLAGS_DEBUG "-g3 ${CMAKE_CXX_FLAGS_DEBUG}") - set(CMAKE_CXX_FLAGS_MINSIZEREL "-Os ${CMAKE_CXX_FLAGS_MINSIZEREL}") -- set(CMAKE_CXX_FLAGS_RELEASE "-O3 ${CMAKE_CXX_FLAGS_RELEASE}") -- set(CMAKE_CXX_FLAGS_RELWITHDEBINFO "-O2 -g3 ${CMAKE_CXX_FLAGS_RELWITHDEBINFO}") -+ set(CMAKE_CXX_FLAGS_RELEASE "${CMAKE_CXX_FLAGS_RELEASE}") -+ set(CMAKE_CXX_FLAGS_RELWITHDEBINFO "-g3 ${CMAKE_CXX_FLAGS_RELWITHDEBINFO}") - elseif (MULTI_THREAD) - set(CMAKE_CXX_FLAGS_DEBUG "/MTd ${CMAKE_CXX_FLAGS_DEBUG}") - set(CMAKE_CXX_FLAGS_MINSIZEREL "/MT ${CMAKE_CXX_FLAGS_MINSIZEREL}")
