Сравнение lean-3.49.0 с 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
Спасибо!