diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2025-02-24 19:24:56 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2025-02-24 19:24:56 +0000 |
| commit | d4653056cc74d97f24bef0d56b4ebe11c53c8b76 (patch) | |
| tree | 5d4be0715302fad2089468027fadaa0372afd1d1 /sci-mathematics/lean | |
| parent | 575bcb9220287a6f0d2577db1fd9fe55d9d8b745 (diff) | |
gentoo auto-resync : 24:02:2025 - 19:24:56
Diffstat (limited to 'sci-mathematics/lean')
| -rw-r--r-- | sci-mathematics/lean/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/lean/files/lean-3.50.3-gcc-13.patch | 10 | ||||
| -rw-r--r-- | sci-mathematics/lean/files/lean-CMakeLists-fix_flags.patch | 23 |
3 files changed, 0 insertions, 35 deletions
diff --git a/sci-mathematics/lean/Manifest b/sci-mathematics/lean/Manifest index 91688109ddd1..a34e05dd0f47 100644 --- a/sci-mathematics/lean/Manifest +++ b/sci-mathematics/lean/Manifest @@ -1,6 +1,4 @@ -AUX lean-3.50.3-gcc-13.patch 263 BLAKE2B cf589616f4612319bbe1d21e798787a72da3d0f319cef3ef0042b8baa89d87066867311fd804862d43599a262c64e2b747a6c21415bb69137a3e8e59dd332155 SHA512 013fe4ec983c8ca612621319fad5fe66e081516979e4dace71f24ec72cac8d7fe2a021e701b2bcae1e87209783330c02b799cdb6c1274f7f8d3dc51efaf130b6 AUX lean-4.14.0-src-cmakelists.patch 1084 BLAKE2B d236998224c99aec69248b59f314e3347ac21acf3bcbe99e006004a67d985ee899db0ff3a7f920a477066085707813fd908fba8cbc4d6b0f7a43f1c1525263c7 SHA512 8dff3962980cf06526d83d10f5175eac8505cc365d50f816a3690c68029e3f2ce69356b8f963adcdad2b06cc936fbd99a9fccb6d7ec24ebbdcad4519e9274ea9 -AUX lean-CMakeLists-fix_flags.patch 1285 BLAKE2B 0507e553c1acf2a53c5267932127117d5ae5ba9015a08c88748b3d82c041f8d904d15cd033dd7934ac55c474fa75a5d4a46f680cc887fee37c05c3f5f3832839 SHA512 11a5918847e45aac7bf79e48d8f881ef5cd3e6b09dbb0979f3f0b88fd36458be21ebeb530158da801399a0cdc8fe382444ff338cd793cd9f1bfced90c5d5a71b DIST lean-4.11.0.tar.gz 25790812 BLAKE2B d9a4eb15199f81c6757acf35fb17c795bb9d69158c7e7deb11d98a45bebf569dcda5f7733b2effd2be0eea879a6c7c24b270d97159e5898215e82e853320918c SHA512 2314659910b4d872c4ae0dda648a9cab9e1cc44cd4c55486a494b65b20fdae236ab9db99a42d7fb1a80030e300e95606065ee7dd27578b12a4c47fc8c102e2bb DIST lean-4.14.0.tar.gz 28508743 BLAKE2B 692972402726a77ca9255edbecfc2bd30033d5c7137b00e85821d5bb74f7ed77398b19e7e3098eeecf6812ad9ca568a4076b11a91456b84f4ad78be8f6441286 SHA512 871169b3d7951934990a86a2b5d1741b00f4559c53c69ecdf0ca1c091426f1d7a6baa5ce69029dbecfc4a9dc9da9ee36b327cbef0ab28e80a9f64d34a2666c78 EBUILD lean-4.11.0.ebuild 1395 BLAKE2B 9dea5026d1cef60c08d7de76061cdd7401f3c49e551df397a02b61cc5ce4fa34dddd636a339013ac424b090635196d0b94142fa2af895f43d8a0dcfc2a5c009b SHA512 e336e331fafbaa6b658007e5e6b1fd726044bde52fbdda56935c9c65ff47b1942bc721365be74118a62c9439e2bb395bdca160e906237374e3c235cb62c17825 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}") |