[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/

["Maciej Barć" <xgqt@gentoo.org>]

commit:     533148e0abceba84d64d7bec2d888b812486bef1
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Mar 29 00:24:12 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Mar 29 03:04:54 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=533148e0

dev-lang/dafny-bin: restrict binary stripping

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

 .../{dafny-bin-4.4.0.ebuild => dafny-bin-4.4.0-r1.ebuild}          | 7 +++++--
 .../{dafny-bin-4.5.0.ebuild => dafny-bin-4.5.0-r1.ebuild}          | 1 +
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.4.0-r1.ebuild
similarity index 96%
rename from dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild
rename to dev-lang/dafny-bin/dafny-bin-4.4.0-r1.ebuild
index 65340016815f..e820db1b1174 100644
--- a/dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-4.4.0-r1.ebuild
@@ -7,11 +7,13 @@ DESCRIPTION="Verification-aware programming language"
 HOMEPAGE="https://dafny.org/
 	https://github.com/dafny-lang/dafny/"
 SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-20.04.zip"
+S="${WORKDIR}/dafny"
 
 LICENSE="MIT"
 SLOT="0"
 KEYWORDS="-* amd64"
 REQUIRED_USE="elibc_glibc"
+RESTRICT="strip"
 
 RDEPEND="
 	!dev-lang/dafny
@@ -19,9 +21,10 @@ RDEPEND="
 	dev-util/lttng-ust:0/2.12
 	sci-mathematics/z3
 "
-BDEPEND="app-arch/unzip"
+BDEPEND="
+	app-arch/unzip
+"
 
-S="${WORKDIR}/dafny"
 QA_PREBUILT="*"
 
 src_prepare() {

diff --git a/dev-lang/dafny-bin/dafny-bin-4.5.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.5.0-r1.ebuild
similarity index 98%
rename from dev-lang/dafny-bin/dafny-bin-4.5.0.ebuild
rename to dev-lang/dafny-bin/dafny-bin-4.5.0-r1.ebuild
index e1a433bf10e8..8ed638b01e1e 100644
--- a/dev-lang/dafny-bin/dafny-bin-4.5.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-4.5.0-r1.ebuild
@@ -13,6 +13,7 @@ LICENSE="MIT"
 SLOT="0"
 KEYWORDS="-* ~amd64"
 REQUIRED_USE="elibc_glibc"
+RESTRICT="strip"
 
 RDEPEND="
 	!dev-lang/dafny