[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/lean/files/

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/lean/files/

[Conrad Kostecki]

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}")