[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/btor2tools/

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/btor2tools/

[Maciej Barć]

commit:     6ce161a93f2e7f025a2d5a529338ef49b7daf2bb
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Jan 13 14:59:23 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Jan 13 15:42:38 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6ce161a9

sci-mathematics/btor2tools: do not install static libraries

Closes: https://bugs.gentoo.org/890698
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 ...0.0_pre20220518.ebuild => btor2tools-1.0.0_pre20220518-r1.ebuild} | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518.ebuild b/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
similarity index 87%
rename from sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518.ebuild
rename to sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
index efade1283737..e967b953fb59 100644
--- a/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518.ebuild
+++ b/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
@@ -24,10 +24,7 @@ LICENSE="MIT"
 SLOT="0"
 IUSE="examples"
 
-PATCHES=(
-	"${FILESDIR}"/${P}-cmake-also-static.patch
-	"${FILESDIR}"/${P}-cmake-clfags.patch
-)
+PATCHES=( "${FILESDIR}"/${P}-cmake-clfags.patch )
 
 src_install() {
 	cmake_src_install

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/btor2tools/

[Maciej Barć]

commit:     365d8713fddea38915a7bf83ac1bcd732db4b1a8
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Mar  4 15:54:38 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Mar  4 16:32:11 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=365d8713

sci-mathematics/btor2tools: H -> COMMIT

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild b/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
index e967b953fb59..58780bf5c440 100644
--- a/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
+++ b/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
@@ -3,20 +3,20 @@
 
 EAPI=8
 
-H=b8456dda4780789e882f5791eb486f295ade4da4
+[[ ${PV} == *_pre20220518 ]] && COMMIT=b8456dda4780789e882f5791eb486f295ade4da4
 
 inherit cmake
 
 DESCRIPTION="Generic parser and tools for the BTOR2 format"
 HOMEPAGE="https://github.com/Boolector/btor2tools/"
 
-if [[ "${PV}" == *9999* ]] ; then
+if [[ ${PV} == *9999* ]] ; then
 	inherit git-r3
 	EGIT_REPO_URI="https://github.com/Boolector/${PN}.git"
 else
-	SRC_URI="https://github.com/Boolector/${PN}/archive/${H}.tar.gz
+	SRC_URI="https://github.com/Boolector/${PN}/archive/${COMMIT}.tar.gz
 		-> ${P}.tar.gz"
-	S="${WORKDIR}"/${PN}-${H}
+	S="${WORKDIR}"/${PN}-${COMMIT}
 	KEYWORDS="~amd64 ~x86"
 fi