From 1b013d9d13c304bf66a4a6c16d272d25bc480b83 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Wed, 22 Feb 2023 02:26:51 +0000
Subject: gentoo auto-resync : 22:02:2023 - 02:26:50

---
 dev-lang/Manifest.gz                       | Bin 19720 -> 19716 bytes
 dev-lang/dafny-bin/Manifest                |   2 ++
 dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild |  51 +++++++++++++++++++++++++++++
 3 files changed, 53 insertions(+)
 create mode 100644 dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild

(limited to 'dev-lang')

diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz
index 44fdccc702b4..11a951a275bb 100644
Binary files a/dev-lang/Manifest.gz and b/dev-lang/Manifest.gz differ
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 79ed2907a229..356662dbbebf 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,5 +1,7 @@
 DIST dafny-3.10.0-x64-ubuntu-16.04.zip 76468200 BLAKE2B d3b35260fca709f1808ec47874f5566dd2fc42af9a43354a97b86b8962b1b15c95df10f25fa8f0d6a12c83f5c12569aa981d56b796aeb1fd7563fc59c62d4259 SHA512 3f8e669025fd655a7709334876652176b3dce1eb980f1f797cf829fa53b125129a66a175d3a4fcc56aa276e28661c6d795ccc01901d0e457bdac754b29382ca3
 DIST dafny-3.11.0-x64-ubuntu-16.04.zip 76510888 BLAKE2B 03591064f7af8971c5e175b4538c1344d6fd09c4ca2f3c52fef65af424d5fe462112f3853a59a0d3e84bf5945290b3b088472378577cb0881cf8129401606148 SHA512 0535151b0622f70b49457f1eaaa15c031b5ade5e44e64e79a6c6d1c46b9c2fed155f8da72274f8b8dd7815130ce80bd2b7af8a28d9423ebefde80d8cda1d12bb
+DIST dafny-3.12.0-x64-ubuntu-16.04.zip 76588835 BLAKE2B 144928b5e9a32c770d4552be31373defd1153a7ce481aa3948c5fe6c30ff2ce5f20b3d057a587c7762f3c37d63f683275fcf60bbd4ca3754f8713132b3bdfdc9 SHA512 2ea5f97b4fe0f8aaeefd16f739306482824f76ae6c5a37038fedda60bacb2496abc02715c0973a05f845972fd81aeb06e62c3c41d6908c2cf7416006ce8519d4
 EBUILD dafny-bin-3.10.0.ebuild 1193 BLAKE2B c17cc73039e3cec436a191c7e6f3be7e55c25176899866c1b702a4b4d092ada411f97d8a81acc03d6d255d251499b219cc5fa3e48f13cf527533928ad44cfd49 SHA512 03c99063f86d1f8eeeb015053f47e825593461ea5f0fd32a114f35fef31d5f6905d22ed7691e176d700a2015bb53efd1d28bdf8e21fd628869ec31d541cad0c1
 EBUILD dafny-bin-3.11.0.ebuild 1194 BLAKE2B fa138121b0ca34ad53b4d7cd6c95d4a34920732f76cb4a1ffc68aff63668a04b7391e1f62745e6dcba50d7d22a903d7bae4fb88ce16565fa2da2aeb9ad30dca5 SHA512 a89f95ac5d102b6f91574ababfa3642d4a220116193ec8496362d045d9b5833eec575866f0b616b5e31909103dc28db3076ca9788e94d3861c0b8d303a6a2b86
+EBUILD dafny-bin-3.12.0.ebuild 1194 BLAKE2B fa138121b0ca34ad53b4d7cd6c95d4a34920732f76cb4a1ffc68aff63668a04b7391e1f62745e6dcba50d7d22a903d7bae4fb88ce16565fa2da2aeb9ad30dca5 SHA512 a89f95ac5d102b6f91574ababfa3642d4a220116193ec8496362d045d9b5833eec575866f0b616b5e31909103dc28db3076ca9788e94d3861c0b8d303a6a2b86
 MISC metadata.xml 1814 BLAKE2B cf1e080cccf3392a44bbf4b94350cf2d83b4704120c193421e5b0952e36bd07d5d2079968c8fc39b4cfc78daf2fb6aa8e58e71b92d4cf1abe3a7cf4297edb750 SHA512 dfd3eb544a7e76ae7d40a993559291348c3ecb58d433f90b44cb67743879e2ca1f7bb249135e39a98b6c41dd32f439c165a4ad0e6a3bd7572f5786b346df70bb
diff --git a/dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild
new file mode 100644
index 000000000000..1d1588371688
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild
@@ -0,0 +1,51 @@
+# Copyright 1999-2023 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"
+REQUIRED_USE="elibc_glibc"
+
+RDEPEND="
+	dev-libs/userspace-rcu
+	dev-util/lttng-ust:0/2.12
+	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
+	# by, for example, compiling/verifying a simple dafny program.
+	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