gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-10 06:57:08 -08:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/lean: filter LTO (odr)

Browse Source 
Closes: https://bugs.gentoo.org/863086
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć
2022-08-02 23:42:18 +02:00
parent 8feb79fc08
commit 56a7877fca
4 changed files with 12 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sci-mathematics/lean/lean-3.43.0.ebuild
+3 -1
View File
@@ -6,7 +6,7 @@ EAPI=8
MAJOR=$(ver_cut 1)
CMAKE_IN_SOURCE_BUILD="ON"
inherit cmake readme.gentoo-r1
inherit flag-o-matic cmake readme.gentoo-r1
DESCRIPTION="The Lean Theorem Prover"
HOMEPAGE="https://leanprover-community.github.io/"
@@ -37,6 +37,8 @@ src_configure() {
CMAKE_BUILD_TYPE="Release"
fi
filter-lto
local mycmakeargs=(
-DALPHA=ON
-DAUTO_THREAD_FINALIZATION=ON
sci-mathematics/lean/lean-3.44.1.ebuild
+3 -1
View File
@@ -6,7 +6,7 @@ EAPI=8
MAJOR=$(ver_cut 1)
CMAKE_IN_SOURCE_BUILD="ON"
inherit cmake readme.gentoo-r1
inherit flag-o-matic cmake readme.gentoo-r1
DESCRIPTION="The Lean Theorem Prover"
HOMEPAGE="https://leanprover-community.github.io/"
@@ -37,6 +37,8 @@ src_configure() {
CMAKE_BUILD_TYPE="Release"
fi
filter-lto
local mycmakeargs=(
-DALPHA=ON
-DAUTO_THREAD_FINALIZATION=ON
sci-mathematics/lean/lean-3.45.0.ebuild
+3 -1
View File
@@ -6,7 +6,7 @@ EAPI=8
MAJOR=$(ver_cut 1)
CMAKE_IN_SOURCE_BUILD="ON"
inherit cmake readme.gentoo-r1
inherit flag-o-matic cmake readme.gentoo-r1
DESCRIPTION="The Lean Theorem Prover"
HOMEPAGE="https://leanprover-community.github.io/"
@@ -37,6 +37,8 @@ src_configure() {
CMAKE_BUILD_TYPE="Release"
fi
filter-lto
local mycmakeargs=(
-DALPHA=ON
-DAUTO_THREAD_FINALIZATION=ON
sci-mathematics/lean/lean-3.9999.ebuild
+3 -1
View File
@@ -6,7 +6,7 @@ EAPI=8
MAJOR=$(ver_cut 1)
CMAKE_IN_SOURCE_BUILD="ON"
inherit cmake readme.gentoo-r1
inherit flag-o-matic cmake readme.gentoo-r1
DESCRIPTION="The Lean Theorem Prover"
HOMEPAGE="https://leanprover-community.github.io/"
@@ -37,6 +37,8 @@ src_configure() {
CMAKE_BUILD_TYPE="Release"
fi
filter-lto
local mycmakeargs=(
-DALPHA=ON
-DAUTO_THREAD_FINALIZATION=ON