Diff lean-3.49.0 with a lean-3.50.3
| /usr/portage/sci-mathematics/lean/lean-3.50.3.ebuild 2023-10-09 14:52:35.112368492 +0300 | ||
|---|---|---|
| 1 |
# Copyright 1999-2022 Gentoo Authors |
|
| 1 |
# Copyright 1999-2023 Gentoo Authors |
|
| 2 | 2 |
# Distributed under the terms of the GNU General Public License v2 |
| 3 | 3 | |
| 4 | 4 |
EAPI=8 |
| ... | ... | |
| 27 | 27 |
RDEPEND="dev-libs/gmp:=" |
| 28 | 28 |
DEPEND="${RDEPEND}"
|
| 29 | 29 | |
| 30 |
PATCHES=( "${FILESDIR}"/${PN}-CMakeLists-fix_flags.patch )
|
|
| 30 |
PATCHES=( |
|
| 31 |
"${FILESDIR}"/${PN}-3.50.3-gcc-13.patch
|
|
| 32 |
"${FILESDIR}"/${PN}-CMakeLists-fix_flags.patch
|
|
| 33 |
) |
|
| 31 | 34 | |
| 32 | 35 |
src_configure() {
|
| 33 | 36 |
local CMAKE_BUILD_TYPE |
| ... | ... | |
| 39 | 42 | |
| 40 | 43 |
filter-lto |
| 41 | 44 | |
| 42 |
local mycmakeargs=( |
|
| 45 |
local -a mycmakeargs=( |
|
| 43 | 46 |
-DALPHA=ON |
| 44 | 47 |
-DAUTO_THREAD_FINALIZATION=ON |
| 45 | 48 |
-DJSON=ON # bug 833900 |
| ... | ... | |
| 51 | 54 |
} |
| 52 | 55 | |
| 53 | 56 |
src_test() {
|
| 54 |
local myctestargs=( |
|
| 57 |
local -a myctestargs=( |
|
| 55 | 58 |
# Disable problematic "style_check" cpplint test, |
| 56 | 59 |
# this also removes the python test dependency |
| 57 | 60 |
--exclude-regex style_check |