commit: 9d5a143c3ec941b4af38c9df9994d09db244431f Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Mon May 5 19:20:37 2025 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Mon May 5 20:09:23 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9d5a143c
sci-mathematics/opensmt: bump cmake_minimum_required Closes: https://bugs.gentoo.org/955464 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> .../opensmt/files/opensmt-2.5.2-cmake_minimum.patch | 8 ++++++++ sci-mathematics/opensmt/opensmt-2.5.2.ebuild | 15 ++++++++++----- 2 files changed, 18 insertions(+), 5 deletions(-) diff --git a/sci-mathematics/opensmt/files/opensmt-2.5.2-cmake_minimum.patch b/sci-mathematics/opensmt/files/opensmt-2.5.2-cmake_minimum.patch new file mode 100644 index 000000000000..16d54095419a --- /dev/null +++ b/sci-mathematics/opensmt/files/opensmt-2.5.2-cmake_minimum.patch @@ -0,0 +1,8 @@ +--- a/CMakeLists.txt ++++ b/CMakeLists.txt +@@ -1,4 +1,4 @@ +-cmake_minimum_required(VERSION 3.3) ++cmake_minimum_required(VERSION 3.20) + + if (POLICY CMP0074) # Policy 0074 has been introduced in CMake 3.12, so we need a check, otherwise older version would give an error + cmake_policy(SET CMP0074 NEW) diff --git a/sci-mathematics/opensmt/opensmt-2.5.2.ebuild b/sci-mathematics/opensmt/opensmt-2.5.2.ebuild index b691b9744363..d6677965e120 100644 --- a/sci-mathematics/opensmt/opensmt-2.5.2.ebuild +++ b/sci-mathematics/opensmt/opensmt-2.5.2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2024 Gentoo Authors +# Copyright 1999-2025 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -9,12 +9,14 @@ DESCRIPTION="Compact and open-source SMT-solver written in C++" HOMEPAGE="http://verify.inf.usi.ch/opensmt/ https://github.com/usi-verification-and-security/opensmt/"; -if [[ ${PV} == *9999* ]] ; then +if [[ "${PV}" == *9999* ]] ; then inherit git-r3 - EGIT_REPO_URI="https://github.com/usi-verification-and-security/${PN}.git"; + + EGIT_REPO_URI="https://github.com/usi-verification-and-security/${PN}"; else SRC_URI="https://github.com/usi-verification-and-security/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + KEYWORDS="~amd64 ~x86" fi @@ -29,7 +31,9 @@ RDEPEND=" readline? ( sys-libs/readline:= ) libedit? ( dev-libs/libedit:= ) " -DEPEND="${RDEPEND}" +DEPEND=" + ${RDEPEND} +" BDEPEND=" app-alternatives/yacc app-alternatives/lex @@ -37,7 +41,8 @@ BDEPEND=" " PATCHES=( - "${FILESDIR}/${PN}-2.5.2-gcc-14.patch" + "${FILESDIR}/opensmt-2.5.2-cmake_minimum.patch" + "${FILESDIR}/opensmt-2.5.2-gcc-14.patch" ) src_prepare() {
