| 1 |
commit: 56a7877fca5ed96053d93689e4e4a28786f3003f |
| 2 |
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
| 3 |
AuthorDate: Tue Aug 2 21:42:02 2022 +0000 |
| 4 |
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Tue Aug 2 21:42:18 2022 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=56a7877f |
| 7 |
|
| 8 |
sci-mathematics/lean: filter LTO (odr) |
| 9 |
|
| 10 |
Closes: https://bugs.gentoo.org/863086 |
| 11 |
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> |
| 12 |
|
| 13 |
sci-mathematics/lean/lean-3.43.0.ebuild | 4 +++- |
| 14 |
sci-mathematics/lean/lean-3.44.1.ebuild | 4 +++- |
| 15 |
sci-mathematics/lean/lean-3.45.0.ebuild | 4 +++- |
| 16 |
sci-mathematics/lean/lean-3.9999.ebuild | 4 +++- |
| 17 |
4 files changed, 12 insertions(+), 4 deletions(-) |
| 18 |
|
| 19 |
diff --git a/sci-mathematics/lean/lean-3.43.0.ebuild b/sci-mathematics/lean/lean-3.43.0.ebuild |
| 20 |
index 5d8ee8eecd4b..6623228581a0 100644 |
| 21 |
--- a/sci-mathematics/lean/lean-3.43.0.ebuild |
| 22 |
+++ b/sci-mathematics/lean/lean-3.43.0.ebuild |
| 23 |
@@ -6,7 +6,7 @@ EAPI=8 |
| 24 |
MAJOR=$(ver_cut 1) |
| 25 |
CMAKE_IN_SOURCE_BUILD="ON" |
| 26 |
|
| 27 |
-inherit cmake readme.gentoo-r1 |
| 28 |
+inherit flag-o-matic cmake readme.gentoo-r1 |
| 29 |
|
| 30 |
DESCRIPTION="The Lean Theorem Prover" |
| 31 |
HOMEPAGE="https://leanprover-community.github.io/" |
| 32 |
@@ -37,6 +37,8 @@ src_configure() { |
| 33 |
CMAKE_BUILD_TYPE="Release" |
| 34 |
fi |
| 35 |
|
| 36 |
+ filter-lto |
| 37 |
+ |
| 38 |
local mycmakeargs=( |
| 39 |
-DALPHA=ON |
| 40 |
-DAUTO_THREAD_FINALIZATION=ON |
| 41 |
|
| 42 |
diff --git a/sci-mathematics/lean/lean-3.44.1.ebuild b/sci-mathematics/lean/lean-3.44.1.ebuild |
| 43 |
index 5d8ee8eecd4b..6623228581a0 100644 |
| 44 |
--- a/sci-mathematics/lean/lean-3.44.1.ebuild |
| 45 |
+++ b/sci-mathematics/lean/lean-3.44.1.ebuild |
| 46 |
@@ -6,7 +6,7 @@ EAPI=8 |
| 47 |
MAJOR=$(ver_cut 1) |
| 48 |
CMAKE_IN_SOURCE_BUILD="ON" |
| 49 |
|
| 50 |
-inherit cmake readme.gentoo-r1 |
| 51 |
+inherit flag-o-matic cmake readme.gentoo-r1 |
| 52 |
|
| 53 |
DESCRIPTION="The Lean Theorem Prover" |
| 54 |
HOMEPAGE="https://leanprover-community.github.io/" |
| 55 |
@@ -37,6 +37,8 @@ src_configure() { |
| 56 |
CMAKE_BUILD_TYPE="Release" |
| 57 |
fi |
| 58 |
|
| 59 |
+ filter-lto |
| 60 |
+ |
| 61 |
local mycmakeargs=( |
| 62 |
-DALPHA=ON |
| 63 |
-DAUTO_THREAD_FINALIZATION=ON |
| 64 |
|
| 65 |
diff --git a/sci-mathematics/lean/lean-3.45.0.ebuild b/sci-mathematics/lean/lean-3.45.0.ebuild |
| 66 |
index 5d8ee8eecd4b..6623228581a0 100644 |
| 67 |
--- a/sci-mathematics/lean/lean-3.45.0.ebuild |
| 68 |
+++ b/sci-mathematics/lean/lean-3.45.0.ebuild |
| 69 |
@@ -6,7 +6,7 @@ EAPI=8 |
| 70 |
MAJOR=$(ver_cut 1) |
| 71 |
CMAKE_IN_SOURCE_BUILD="ON" |
| 72 |
|
| 73 |
-inherit cmake readme.gentoo-r1 |
| 74 |
+inherit flag-o-matic cmake readme.gentoo-r1 |
| 75 |
|
| 76 |
DESCRIPTION="The Lean Theorem Prover" |
| 77 |
HOMEPAGE="https://leanprover-community.github.io/" |
| 78 |
@@ -37,6 +37,8 @@ src_configure() { |
| 79 |
CMAKE_BUILD_TYPE="Release" |
| 80 |
fi |
| 81 |
|
| 82 |
+ filter-lto |
| 83 |
+ |
| 84 |
local mycmakeargs=( |
| 85 |
-DALPHA=ON |
| 86 |
-DAUTO_THREAD_FINALIZATION=ON |
| 87 |
|
| 88 |
diff --git a/sci-mathematics/lean/lean-3.9999.ebuild b/sci-mathematics/lean/lean-3.9999.ebuild |
| 89 |
index 5d8ee8eecd4b..6623228581a0 100644 |
| 90 |
--- a/sci-mathematics/lean/lean-3.9999.ebuild |
| 91 |
+++ b/sci-mathematics/lean/lean-3.9999.ebuild |
| 92 |
@@ -6,7 +6,7 @@ EAPI=8 |
| 93 |
MAJOR=$(ver_cut 1) |
| 94 |
CMAKE_IN_SOURCE_BUILD="ON" |
| 95 |
|
| 96 |
-inherit cmake readme.gentoo-r1 |
| 97 |
+inherit flag-o-matic cmake readme.gentoo-r1 |
| 98 |
|
| 99 |
DESCRIPTION="The Lean Theorem Prover" |
| 100 |
HOMEPAGE="https://leanprover-community.github.io/" |
| 101 |
@@ -37,6 +37,8 @@ src_configure() { |
| 102 |
CMAKE_BUILD_TYPE="Release" |
| 103 |
fi |
| 104 |
|
| 105 |
+ filter-lto |
| 106 |
+ |
| 107 |
local mycmakeargs=( |
| 108 |
-DALPHA=ON |
| 109 |
-DAUTO_THREAD_FINALIZATION=ON |
Archives