From b30329214eaa780ff4a9f210855234099ad09737 Mon Sep 17 00:00:00 2001
From: Maciej Barć <xgqt@gentoo.org>
Date: Thu, 30 Jun 2022 17:33:08 +0200
Subject: dev-lang/dafny-bin: use insopts
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Closes: https://bugs.gentoo.org/855365
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
---
 dev-lang/dafny-bin/dafny-bin-3.7.1-r1.ebuild | 50 ----------------------------
 dev-lang/dafny-bin/dafny-bin-3.7.1-r2.ebuild | 50 ++++++++++++++++++++++++++++
 2 files changed, 50 insertions(+), 50 deletions(-)
 delete mode 100644 dev-lang/dafny-bin/dafny-bin-3.7.1-r1.ebuild
 create mode 100644 dev-lang/dafny-bin/dafny-bin-3.7.1-r2.ebuild

(limited to 'dev-lang/dafny-bin')

diff --git a/dev-lang/dafny-bin/dafny-bin-3.7.1-r1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.7.1-r1.ebuild
deleted file mode 100644
index 9677b86513fe..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-3.7.1-r1.ebuild
+++ /dev/null
@@ -1,50 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DESCRIPTION="Verification-aware programming language"
-HOMEPAGE="https://dafny.org/"
-SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="-* ~amd64"  # Binaries are compiled only for x86_64.
-REQUIRED_USE="elibc_glibc"
-
-RDEPEND="
-	dev-libs/userspace-rcu
-	dev-util/lttng-ust
-	sci-mathematics/z3
-"
-BDEPEND="app-arch/unzip"
-
-S="${WORKDIR}"/dafny
-QA_PREBUILT="*"
-
-src_prepare() {
-	default
-
-	# Remove bundled z3.
-	# NOTICE: New versions do not need the bundled one but older versions
-	# hardcoded the path relative to "dafny" binary.
-	# While bumping make sure to verify that system's "z3" is used.
-	rm -r z3 || die
-}
-
-src_install() {
-	local dest=/opt/dafny
-
-	insinto ${dest}
-	doins "${S}"/*
-	fperms 755 ${dest}/*.so
-
-	local bin
-	for bin in DafnyServer dafny ; do
-		fperms 755 ${dest}/${bin}
-		dosym ../../${dest}/${bin} /usr/bin/${bin}
-	done
-
-	# Make "dafny-server" clients happy.
-	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
-}
diff --git a/dev-lang/dafny-bin/dafny-bin-3.7.1-r2.ebuild b/dev-lang/dafny-bin/dafny-bin-3.7.1-r2.ebuild
new file mode 100644
index 000000000000..8601d4b64977
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-3.7.1-r2.ebuild
@@ -0,0 +1,50 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DESCRIPTION="Verification-aware programming language"
+HOMEPAGE="https://dafny.org/"
+SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"  # Binaries are compiled only for x86_64.
+REQUIRED_USE="elibc_glibc"
+
+RDEPEND="
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust
+	sci-mathematics/z3
+"
+BDEPEND="app-arch/unzip"
+
+S="${WORKDIR}"/dafny
+QA_PREBUILT="*"
+
+src_prepare() {
+	default
+
+	# Remove bundled z3.
+	# NOTICE: New versions do not need the bundled one but older versions
+	# hardcoded the path relative to "dafny" binary.
+	# While bumping make sure to verify that system's "z3" is used.
+	rm -r z3 || die
+}
+
+src_install() {
+	local dest=/opt/dafny
+
+	insinto ${dest}
+	# Maybe too general, but this installation mode matched how it arrives.
+	insopts -m0755
+	doins "${S}"/*
+
+	local bin
+	for bin in DafnyServer dafny ; do
+		dosym ../../${dest}/${bin} /usr/bin/${bin}
+	done
+
+	# Make "dafny-server" clients happy.
+	dosym ../../${dest}/DafnyServer /usr/bin/dafny-server
+}
-- 
cgit v1.2.3-65-gdbad