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

[Maciej Barć]

commit:     5c6894c8043cfa204b6a4b1dcb53dde3ed37dea1
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Jun 30 13:10:07 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Jun 30 13:13:41 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5c6894c8

dev-lang/dafny-bin: add missing runtime deps; exe bit for ibs

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

 .../{dafny-bin-3.7.1.ebuild => dafny-bin-3.7.1-r1.ebuild}         | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/dev-lang/dafny-bin/dafny-bin-3.7.1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.7.1-r1.ebuild
similarity index 91%
rename from dev-lang/dafny-bin/dafny-bin-3.7.1.ebuild
rename to dev-lang/dafny-bin/dafny-bin-3.7.1-r1.ebuild
index ee4df7023ffb..9677b86513fe 100644
--- a/dev-lang/dafny-bin/dafny-bin-3.7.1.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-3.7.1-r1.ebuild
@@ -12,7 +12,11 @@ SLOT="0"
 KEYWORDS="-* ~amd64"  # Binaries are compiled only for x86_64.
 REQUIRED_USE="elibc_glibc"
 
-RDEPEND="sci-mathematics/z3"
+RDEPEND="
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust
+	sci-mathematics/z3
+"
 BDEPEND="app-arch/unzip"
 
 S="${WORKDIR}"/dafny
@@ -33,8 +37,8 @@ src_install() {
 
 	insinto ${dest}
 	doins "${S}"/*
+	fperms 755 ${dest}/*.so
 
-	# CONSIDER: Just the entry-point binaries need executable permissions?
 	local bin
 	for bin in DafnyServer dafny ; do
 		fperms 755 ${dest}/${bin}