mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-22 05:23:01 -04:00
Code Issues Packages Projects Releases Wiki Activity

dev-lang/lean: fix build type and flags

Browse Source 
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
This commit is contained in:
Maciej Barć
2021-10-22 00:58:05 +02:00
parent 7c7d1cb415
commit 1a977dcf40
3 changed files with 45 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
dev-lang/lean/files/fix_flags.patch Normal file
View File

@@ -0,0 +1,23 @@
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}")

13
dev-lang/lean/lean-3.33.0.ebuild
View File

@@ -1,7 +1,7 @@
# Copyright 1999-2021 Gentoo Authors # Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2 # Distributed under the terms of the GNU General Public License v2
EAPI=7 EAPI=8
CMAKE_IN_SOURCE_BUILD="ON" CMAKE_IN_SOURCE_BUILD="ON"
@@ -23,12 +23,21 @@ S="${WORKDIR}/lean-${PV}/src"
LICENSE="Apache-2.0" LICENSE="Apache-2.0"
SLOT="0/${MAJOR}" SLOT="0/${MAJOR}"
IUSE="+json +threads" IUSE="debug +json +threads"
RDEPEND="dev-libs/gmp" RDEPEND="dev-libs/gmp"
DEPEND="${RDEPEND}" DEPEND="${RDEPEND}"
PATCHES=( "${FILESDIR}/fix_flags.patch" )
src_configure() { src_configure() {
local CMAKE_BUILD_TYPE
if use debug; then
CMAKE_BUILD_TYPE="Debug"
else
CMAKE_BUILD_TYPE="Release"
fi
local mycmakeargs=( local mycmakeargs=(
-DALPHA=ON -DALPHA=ON
-DAUTO_THREAD_FINALIZATION=ON -DAUTO_THREAD_FINALIZATION=ON

13
dev-lang/lean/lean-3.34.0.ebuild
View File

@@ -1,7 +1,7 @@
# Copyright 1999-2021 Gentoo Authors # Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2 # Distributed under the terms of the GNU General Public License v2
EAPI=7 EAPI=8
CMAKE_IN_SOURCE_BUILD="ON" CMAKE_IN_SOURCE_BUILD="ON"
@@ -23,12 +23,21 @@ S="${WORKDIR}/lean-${PV}/src"
LICENSE="Apache-2.0" LICENSE="Apache-2.0"
SLOT="0/${MAJOR}" SLOT="0/${MAJOR}"
IUSE="+json +threads" IUSE="debug +json +threads"
RDEPEND="dev-libs/gmp" RDEPEND="dev-libs/gmp"
DEPEND="${RDEPEND}" DEPEND="${RDEPEND}"
PATCHES=( "${FILESDIR}/fix_flags.patch" )
src_configure() { src_configure() {
local CMAKE_BUILD_TYPE
if use debug; then
CMAKE_BUILD_TYPE="Debug"
else
CMAKE_BUILD_TYPE="Release"
fi
local mycmakeargs=( local mycmakeargs=(
-DALPHA=ON -DALPHA=ON
-DAUTO_THREAD_FINALIZATION=ON -DAUTO_THREAD_FINALIZATION=ON