* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-09-17 19:32 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-09-17 19:32 UTC (permalink / raw
To: gentoo-commits
commit: 8db61c6368da21e397ff2fbd9a7157c917a88a25
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Sep 17 09:42:22 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Sep 17 19:20:28 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8db61c63
dev-lang/dafny-bin: bump to 4.2.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 +
dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild | 53 +++++++++++++++++++++++++++++++
2 files changed, 54 insertions(+)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 39e39c3242c6..a23e46ecac93 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,2 +1,3 @@
DIST dafny-3.10.0-x64-ubuntu-16.04.zip 76468200 BLAKE2B d3b35260fca709f1808ec47874f5566dd2fc42af9a43354a97b86b8962b1b15c95df10f25fa8f0d6a12c83f5c12569aa981d56b796aeb1fd7563fc59c62d4259 SHA512 3f8e669025fd655a7709334876652176b3dce1eb980f1f797cf829fa53b125129a66a175d3a4fcc56aa276e28661c6d795ccc01901d0e457bdac754b29382ca3
DIST dafny-3.12.0-x64-ubuntu-16.04.zip 76588835 BLAKE2B 144928b5e9a32c770d4552be31373defd1153a7ce481aa3948c5fe6c30ff2ce5f20b3d057a587c7762f3c37d63f683275fcf60bbd4ca3754f8713132b3bdfdc9 SHA512 2ea5f97b4fe0f8aaeefd16f739306482824f76ae6c5a37038fedda60bacb2496abc02715c0973a05f845972fd81aeb06e62c3c41d6908c2cf7416006ce8519d4
+DIST dafny-4.2.0-x64-ubuntu-20.04.zip 62475183 BLAKE2B d8be842c80bf0cbaaf6fb6b56c8a57f5a45b54dd1b1020fb5062a01ce4d5366bf2ff7a7847d1bdcd9a1217300cded0af0c88d1c6871d4b039178517c8f618dc3 SHA512 86a91592af1b386130855ed73bfb60ec2362bdcadacac43b27a4b2cc36dd6f0894508242357659f7a5120c66ba6438fe23acaef3a65dfbd0912d2438c851a7ca
diff --git a/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild
new file mode 100644
index 000000000000..0f5cd85b46af
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild
@@ -0,0 +1,53 @@
+# 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/
+ 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"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"
+REQUIRED_USE="elibc_glibc"
+
+RDEPEND="
+ !dev-lang/dafny
+ 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
+}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-10-31 23:17 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2024-10-31 23:17 UTC (permalink / raw
To: gentoo-commits
commit: e60cdf16ee2c1d662e994a9f3198f860492ee47d
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Oct 31 16:35:05 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Oct 31 23:17:19 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e60cdf16
dev-lang/dafny-bin: bump to 4.9.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 +
dev-lang/dafny-bin/dafny-bin-4.9.0.ebuild | 56 +++++++++++++++++++++++++++++++
2 files changed, 57 insertions(+)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index eb74897ee991..276dad52b185 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1 +1,2 @@
DIST dafny-4.8.1-x64-ubuntu-20.04.zip 60728434 BLAKE2B 0cdf877fb018cff9ef6f1805ce9fdb3de506fbc76352a0d6ebc5e47b79e35483fe72853ff6ade32c31f1584d209445cbf2de195fc43a3c24314ebdc830d45daf SHA512 24b1f9028b509ccdc938fd1de97fbb72af101603422194ec47b21f421c45e17b96c07ecdd8c12057e97e0a16cbe4993fc7a498456a737bc5f2940b4a69d55ced
+DIST dafny-4.9.0-x64-ubuntu-20.04.zip 60772912 BLAKE2B 5904811590362705183e05e38c5f67a98b1601c28b4776faf3f33ac87d527e2c91493a0a693fd635799b8f416344acab2ed8c2897f3d1f07827e34565e8d720e SHA512 f44b94abf4fb9b42ee7b7fab584d1b6d65a90bdc515b2b4fc398762bcc33a759bbe2e22ff0c9fc556ca1794707cd7ca440e414c51be10ecd87a5b470df661bbf
diff --git a/dev-lang/dafny-bin/dafny-bin-4.9.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.9.0.ebuild
new file mode 100644
index 000000000000..2907f72117f4
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-4.9.0.ebuild
@@ -0,0 +1,56 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+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
+ dev-libs/userspace-rcu
+ dev-util/lttng-ust:0/2.12
+ sci-mathematics/z3
+"
+BDEPEND="
+ app-arch/unzip
+"
+
+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 -r "/${dest}/DafnyServer" /usr/bin/dafny-server
+}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-10-31 23:17 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2024-10-31 23:17 UTC (permalink / raw
To: gentoo-commits
commit: 99d9a73183ac9dee6e37fdc9ddadc862b0135842
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Oct 31 16:33:34 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Oct 31 23:17:19 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=99d9a731
dev-lang/dafny-bin: drop old 4.7.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 -
dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild | 56 -------------------------------
2 files changed, 57 deletions(-)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 499ec3b0f999..eb74897ee991 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,2 +1 @@
-DIST dafny-4.7.0-x64-ubuntu-20.04.zip 63382915 BLAKE2B dfda2ceccabd2c223e7ab8ae6c8b02e7f34b42d4c115c2b8013941220246817536313d35927cca68f1427332b937434ec8e9a5dc6347b56eac0f907366c123d2 SHA512 89ef8ebda46b99cebd22f9721fc7af74c8e265a73db4530c571bd37b58d6741f15064d77ee5035be2b2039565b4bc826251dd29d6752557dfb9044fe40b07775
DIST dafny-4.8.1-x64-ubuntu-20.04.zip 60728434 BLAKE2B 0cdf877fb018cff9ef6f1805ce9fdb3de506fbc76352a0d6ebc5e47b79e35483fe72853ff6ade32c31f1584d209445cbf2de195fc43a3c24314ebdc830d45daf SHA512 24b1f9028b509ccdc938fd1de97fbb72af101603422194ec47b21f421c45e17b96c07ecdd8c12057e97e0a16cbe4993fc7a498456a737bc5f2940b4a69d55ced
diff --git a/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild
deleted file mode 100644
index 66b2bf3d4f1b..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild
+++ /dev/null
@@ -1,56 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-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
- dev-libs/userspace-rcu
- dev-util/lttng-ust:0/2.12
- sci-mathematics/z3
-"
-BDEPEND="
- app-arch/unzip
-"
-
-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 -r /${dest}/DafnyServer /usr/bin/dafny-server
-}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-10-23 16:48 Sam James
0 siblings, 0 replies; 45+ messages in thread
From: Sam James @ 2024-10-23 16:48 UTC (permalink / raw
To: gentoo-commits
commit: a748bab9c7411bd6d5261e82017bdc7ce1cde848
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Oct 23 16:48:04 2024 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Oct 23 16:48:04 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a748bab9
dev-lang/dafny-bin: Stabilize 4.8.1 amd64, #942018
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild b/dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild
index 8ed638b01e1e..66b2bf3d4f1b 100644
--- a/dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild
@@ -11,7 +11,7 @@ S="${WORKDIR}/dafny"
LICENSE="MIT"
SLOT="0"
-KEYWORDS="-* ~amd64"
+KEYWORDS="-* amd64"
REQUIRED_USE="elibc_glibc"
RESTRICT="strip"
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-09-22 22:04 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2024-09-22 22:04 UTC (permalink / raw
To: gentoo-commits
commit: e1d80ba2afe16ac08af4259c42aa40d145495a09
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Sep 22 21:13:22 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Sep 22 22:04:17 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e1d80ba2
dev-lang/dafny-bin: drop old 4.6.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 -
dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild | 56 -------------------------------
2 files changed, 57 deletions(-)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 23f28ce8b7f5..779b791d6af1 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,2 +1 @@
-DIST dafny-4.6.0-x64-ubuntu-20.04.zip 63265253 BLAKE2B ebba4490857fb9860289ccad5ea03251366ec5d745588e43a74529c3500f5f02c516bef70f4c661b3138b935e340102ea2537e0c22daf64b88941fec1ff90b4b SHA512 2537cc9d2b2a5514d5ff83988856bac4100bb381eef540870867e47d4557e54bf0889a60ad329f961366558be30590cb5c611bcc7a15305c27a1c38da629746f
DIST dafny-4.7.0-x64-ubuntu-20.04.zip 63382915 BLAKE2B dfda2ceccabd2c223e7ab8ae6c8b02e7f34b42d4c115c2b8013941220246817536313d35927cca68f1427332b937434ec8e9a5dc6347b56eac0f907366c123d2 SHA512 89ef8ebda46b99cebd22f9721fc7af74c8e265a73db4530c571bd37b58d6741f15064d77ee5035be2b2039565b4bc826251dd29d6752557dfb9044fe40b07775
diff --git a/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild
deleted file mode 100644
index 66b2bf3d4f1b..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild
+++ /dev/null
@@ -1,56 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-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
- dev-libs/userspace-rcu
- dev-util/lttng-ust:0/2.12
- sci-mathematics/z3
-"
-BDEPEND="
- app-arch/unzip
-"
-
-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 -r /${dest}/DafnyServer /usr/bin/dafny-server
-}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-09-22 22:04 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2024-09-22 22:04 UTC (permalink / raw
To: gentoo-commits
commit: 3cb6137e81267e1970a85fb43c6f302d42d9e845
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Sep 22 21:14:36 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Sep 22 22:04:17 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3cb6137e
dev-lang/dafny-bin: bump to 4.8.1
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 +
dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild | 56 +++++++++++++++++++++++++++++++
2 files changed, 57 insertions(+)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 779b791d6af1..499ec3b0f999 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1 +1,2 @@
DIST dafny-4.7.0-x64-ubuntu-20.04.zip 63382915 BLAKE2B dfda2ceccabd2c223e7ab8ae6c8b02e7f34b42d4c115c2b8013941220246817536313d35927cca68f1427332b937434ec8e9a5dc6347b56eac0f907366c123d2 SHA512 89ef8ebda46b99cebd22f9721fc7af74c8e265a73db4530c571bd37b58d6741f15064d77ee5035be2b2039565b4bc826251dd29d6752557dfb9044fe40b07775
+DIST dafny-4.8.1-x64-ubuntu-20.04.zip 60728434 BLAKE2B 0cdf877fb018cff9ef6f1805ce9fdb3de506fbc76352a0d6ebc5e47b79e35483fe72853ff6ade32c31f1584d209445cbf2de195fc43a3c24314ebdc830d45daf SHA512 24b1f9028b509ccdc938fd1de97fbb72af101603422194ec47b21f421c45e17b96c07ecdd8c12057e97e0a16cbe4993fc7a498456a737bc5f2940b4a69d55ced
diff --git a/dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild b/dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild
new file mode 100644
index 000000000000..8ed638b01e1e
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild
@@ -0,0 +1,56 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+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
+ dev-libs/userspace-rcu
+ dev-util/lttng-ust:0/2.12
+ sci-mathematics/z3
+"
+BDEPEND="
+ app-arch/unzip
+"
+
+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 -r /${dest}/DafnyServer /usr/bin/dafny-server
+}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-08-01 16:47 Arthur Zamarin
0 siblings, 0 replies; 45+ messages in thread
From: Arthur Zamarin @ 2024-08-01 16:47 UTC (permalink / raw
To: gentoo-commits
commit: 4cdfdaf2451a46012107d76e8f32722651463158
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Thu Aug 1 16:47:12 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Thu Aug 1 16:47:12 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4cdfdaf2
dev-lang/dafny-bin: Stabilize 4.7.0 amd64, #937076
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild
index 8ed638b01e1e..66b2bf3d4f1b 100644
--- a/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild
@@ -11,7 +11,7 @@ S="${WORKDIR}/dafny"
LICENSE="MIT"
SLOT="0"
-KEYWORDS="-* ~amd64"
+KEYWORDS="-* amd64"
REQUIRED_USE="elibc_glibc"
RESTRICT="strip"
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-06-27 22:42 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2024-06-27 22:42 UTC (permalink / raw
To: gentoo-commits
commit: df3a1d6a8002eca065e0849b5ad7c513d839992a
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Jun 27 12:39:22 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Jun 27 22:42:19 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=df3a1d6a
dev-lang/dafny-bin: bump to 4.7.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 +
dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild | 56 +++++++++++++++++++++++++++++++
2 files changed, 57 insertions(+)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 01b12e180be3..23f28ce8b7f5 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1 +1,2 @@
DIST dafny-4.6.0-x64-ubuntu-20.04.zip 63265253 BLAKE2B ebba4490857fb9860289ccad5ea03251366ec5d745588e43a74529c3500f5f02c516bef70f4c661b3138b935e340102ea2537e0c22daf64b88941fec1ff90b4b SHA512 2537cc9d2b2a5514d5ff83988856bac4100bb381eef540870867e47d4557e54bf0889a60ad329f961366558be30590cb5c611bcc7a15305c27a1c38da629746f
+DIST dafny-4.7.0-x64-ubuntu-20.04.zip 63382915 BLAKE2B dfda2ceccabd2c223e7ab8ae6c8b02e7f34b42d4c115c2b8013941220246817536313d35927cca68f1427332b937434ec8e9a5dc6347b56eac0f907366c123d2 SHA512 89ef8ebda46b99cebd22f9721fc7af74c8e265a73db4530c571bd37b58d6741f15064d77ee5035be2b2039565b4bc826251dd29d6752557dfb9044fe40b07775
diff --git a/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild
new file mode 100644
index 000000000000..8ed638b01e1e
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-4.7.0.ebuild
@@ -0,0 +1,56 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+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
+ dev-libs/userspace-rcu
+ dev-util/lttng-ust:0/2.12
+ sci-mathematics/z3
+"
+BDEPEND="
+ app-arch/unzip
+"
+
+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 -r /${dest}/DafnyServer /usr/bin/dafny-server
+}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-04-29 0:06 Sam James
0 siblings, 0 replies; 45+ messages in thread
From: Sam James @ 2024-04-29 0:06 UTC (permalink / raw
To: gentoo-commits
commit: 96224c981667cf4ef4d36837263f15497954a19e
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Apr 29 00:06:22 2024 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Apr 29 00:06:22 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=96224c98
dev-lang/dafny-bin: Stabilize 4.6.0 amd64, #930843
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild
index 8ed638b01e1e..66b2bf3d4f1b 100644
--- a/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild
@@ -11,7 +11,7 @@ S="${WORKDIR}/dafny"
LICENSE="MIT"
SLOT="0"
-KEYWORDS="-* ~amd64"
+KEYWORDS="-* amd64"
REQUIRED_USE="elibc_glibc"
RESTRICT="strip"
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-03-29 3:06 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2024-03-29 3:06 UTC (permalink / raw
To: gentoo-commits
commit: 7daa94e800f8ba1ed588c232be67a3aada77389a
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Mar 29 00:01:17 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Mar 29 03:04:53 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7daa94e8
dev-lang/dafny-bin: bump to 4.6.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 +
dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild | 56 +++++++++++++++++++++++++++++++
2 files changed, 57 insertions(+)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 1f100bb83c00..38ca12988222 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,2 +1,3 @@
DIST dafny-4.4.0-x64-ubuntu-20.04.zip 62873378 BLAKE2B ee471dfc0be515949bc3ec18cd46705ce35c7a0b43b8ffc35e7754cef57a3e9351b7e937b6735319d6255407b6cb46b4c0c69eab5a573fdf7671055efe3988b8 SHA512 acfd643bdf3dba7377fde8d36f3c7bfff27b575fbc212d02974958ad38fe433870128525ff22f9a76d4b1602d5253794409ce834b67c52571d395a737fc24471
DIST dafny-4.5.0-x64-ubuntu-20.04.zip 63259963 BLAKE2B 2fd6bce2a4244b68ca2de6453e070ef05e67000667f946730608ea0806d4ee768bb612a83603b442071a4135e5a030edee38a70f0171cb1b7abd29e53cef5cbe SHA512 38c7c30ef764309eb26f9b54a2d15bac8953215915cc9a291524276609814cd76037480302f4e235710509a5cbe0e56a85bb8414be04ba8b9f63095a168543af
+DIST dafny-4.6.0-x64-ubuntu-20.04.zip 63265253 BLAKE2B ebba4490857fb9860289ccad5ea03251366ec5d745588e43a74529c3500f5f02c516bef70f4c661b3138b935e340102ea2537e0c22daf64b88941fec1ff90b4b SHA512 2537cc9d2b2a5514d5ff83988856bac4100bb381eef540870867e47d4557e54bf0889a60ad329f961366558be30590cb5c611bcc7a15305c27a1c38da629746f
diff --git a/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild
new file mode 100644
index 000000000000..8ed638b01e1e
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-4.6.0.ebuild
@@ -0,0 +1,56 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+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
+ dev-libs/userspace-rcu
+ dev-util/lttng-ust:0/2.12
+ sci-mathematics/z3
+"
+BDEPEND="
+ app-arch/unzip
+"
+
+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 -r /${dest}/DafnyServer /usr/bin/dafny-server
+}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-03-29 3:06 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2024-03-29 3:06 UTC (permalink / raw
To: gentoo-commits
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
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-03-20 19:30 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2024-03-20 19:30 UTC (permalink / raw
To: gentoo-commits
commit: 1d862d7b3db2d20803939f6cd34d9bfaa11f2846
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Mar 20 17:57:03 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Mar 20 19:30:52 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1d862d7b
dev-lang/dafny-bin: drop old 4.3.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 -
dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild | 53 -------------------------------
2 files changed, 54 deletions(-)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 068d19e51c16..ee5052787c8e 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,2 +1 @@
-DIST dafny-4.3.0-x64-ubuntu-20.04.zip 62691627 BLAKE2B edbff278472e5b0494fac38907adefa8fcfb94c3675df828e9ee022429d9595eed398d95333b223a70040ed69f07682e8aeaf90978f7466f4b9a412207d54d58 SHA512 14a861a6b0b55ee71db08f4c73e741fd92e5433d62411a2b17b177470b23148e288d835f80c2bdb388297f37be249b8a47bd3f83c2268082248f27d218b9cb9a
DIST dafny-4.4.0-x64-ubuntu-20.04.zip 62873378 BLAKE2B ee471dfc0be515949bc3ec18cd46705ce35c7a0b43b8ffc35e7754cef57a3e9351b7e937b6735319d6255407b6cb46b4c0c69eab5a573fdf7671055efe3988b8 SHA512 acfd643bdf3dba7377fde8d36f3c7bfff27b575fbc212d02974958ad38fe433870128525ff22f9a76d4b1602d5253794409ce834b67c52571d395a737fc24471
diff --git a/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild
deleted file mode 100644
index 837359bcd1a2..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild
+++ /dev/null
@@ -1,53 +0,0 @@
-# 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/
- 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"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="-* amd64"
-REQUIRED_USE="elibc_glibc"
-
-RDEPEND="
- !dev-lang/dafny
- 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
-}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-03-20 19:30 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2024-03-20 19:30 UTC (permalink / raw
To: gentoo-commits
commit: af6502c5956a20d2d329ec0c815aa4073d2667ef
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Mar 20 17:59:09 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Mar 20 19:30:53 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=af6502c5
dev-lang/dafny-bin: bump to 4.5.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 +
dev-lang/dafny-bin/dafny-bin-4.5.0.ebuild | 55 +++++++++++++++++++++++++++++++
2 files changed, 56 insertions(+)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index ee5052787c8e..1f100bb83c00 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1 +1,2 @@
DIST dafny-4.4.0-x64-ubuntu-20.04.zip 62873378 BLAKE2B ee471dfc0be515949bc3ec18cd46705ce35c7a0b43b8ffc35e7754cef57a3e9351b7e937b6735319d6255407b6cb46b4c0c69eab5a573fdf7671055efe3988b8 SHA512 acfd643bdf3dba7377fde8d36f3c7bfff27b575fbc212d02974958ad38fe433870128525ff22f9a76d4b1602d5253794409ce834b67c52571d395a737fc24471
+DIST dafny-4.5.0-x64-ubuntu-20.04.zip 63259963 BLAKE2B 2fd6bce2a4244b68ca2de6453e070ef05e67000667f946730608ea0806d4ee768bb612a83603b442071a4135e5a030edee38a70f0171cb1b7abd29e53cef5cbe SHA512 38c7c30ef764309eb26f9b54a2d15bac8953215915cc9a291524276609814cd76037480302f4e235710509a5cbe0e56a85bb8414be04ba8b9f63095a168543af
diff --git a/dev-lang/dafny-bin/dafny-bin-4.5.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.5.0.ebuild
new file mode 100644
index 000000000000..e1a433bf10e8
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-4.5.0.ebuild
@@ -0,0 +1,55 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+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"
+
+RDEPEND="
+ !dev-lang/dafny
+ dev-libs/userspace-rcu
+ dev-util/lttng-ust:0/2.12
+ sci-mathematics/z3
+"
+BDEPEND="
+ app-arch/unzip
+"
+
+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 -r /${dest}/DafnyServer /usr/bin/dafny-server
+}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2024-01-18 17:25 Sam James
0 siblings, 0 replies; 45+ messages in thread
From: Sam James @ 2024-01-18 17:25 UTC (permalink / raw
To: gentoo-commits
commit: cc7a90f1b38c685e4e031ebc8180fa381a47c1ad
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Thu Jan 18 17:23:45 2024 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Thu Jan 18 17:23:45 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cc7a90f1
dev-lang/dafny-bin: Stabilize 4.4.0 amd64, #922369
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild | 4 ++--
1 file changed, 2 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.ebuild
index 0f5cd85b46af..65340016815f 100644
--- a/dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -10,7 +10,7 @@ SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV
LICENSE="MIT"
SLOT="0"
-KEYWORDS="-* ~amd64"
+KEYWORDS="-* amd64"
REQUIRED_USE="elibc_glibc"
RDEPEND="
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-12-13 2:27 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-12-13 2:27 UTC (permalink / raw
To: gentoo-commits
commit: feb6baf08a9e8c5add0704f76a352357c3afbd46
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Dec 13 00:23:26 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Dec 13 02:27:11 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=feb6baf0
dev-lang/dafny-bin: bump to 4.4.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 +
dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild | 53 +++++++++++++++++++++++++++++++
2 files changed, 54 insertions(+)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 45119733bd18..068d19e51c16 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1 +1,2 @@
DIST dafny-4.3.0-x64-ubuntu-20.04.zip 62691627 BLAKE2B edbff278472e5b0494fac38907adefa8fcfb94c3675df828e9ee022429d9595eed398d95333b223a70040ed69f07682e8aeaf90978f7466f4b9a412207d54d58 SHA512 14a861a6b0b55ee71db08f4c73e741fd92e5433d62411a2b17b177470b23148e288d835f80c2bdb388297f37be249b8a47bd3f83c2268082248f27d218b9cb9a
+DIST dafny-4.4.0-x64-ubuntu-20.04.zip 62873378 BLAKE2B ee471dfc0be515949bc3ec18cd46705ce35c7a0b43b8ffc35e7754cef57a3e9351b7e937b6735319d6255407b6cb46b4c0c69eab5a573fdf7671055efe3988b8 SHA512 acfd643bdf3dba7377fde8d36f3c7bfff27b575fbc212d02974958ad38fe433870128525ff22f9a76d4b1602d5253794409ce834b67c52571d395a737fc24471
diff --git a/dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild
new file mode 100644
index 000000000000..0f5cd85b46af
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-4.4.0.ebuild
@@ -0,0 +1,53 @@
+# 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/
+ 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"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"
+REQUIRED_USE="elibc_glibc"
+
+RDEPEND="
+ !dev-lang/dafny
+ 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
+}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-11-15 19:27 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-11-15 19:27 UTC (permalink / raw
To: gentoo-commits
commit: 6200b24b8feef47380a433338034df6d190a79cc
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Nov 15 15:17:14 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Nov 15 19:27:16 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6200b24b
dev-lang/dafny-bin: drop old 4.2.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 -
dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild | 53 -------------------------------
2 files changed, 54 deletions(-)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index f59f22927c2a..45119733bd18 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,2 +1 @@
-DIST dafny-4.2.0-x64-ubuntu-20.04.zip 62475183 BLAKE2B d8be842c80bf0cbaaf6fb6b56c8a57f5a45b54dd1b1020fb5062a01ce4d5366bf2ff7a7847d1bdcd9a1217300cded0af0c88d1c6871d4b039178517c8f618dc3 SHA512 86a91592af1b386130855ed73bfb60ec2362bdcadacac43b27a4b2cc36dd6f0894508242357659f7a5120c66ba6438fe23acaef3a65dfbd0912d2438c851a7ca
DIST dafny-4.3.0-x64-ubuntu-20.04.zip 62691627 BLAKE2B edbff278472e5b0494fac38907adefa8fcfb94c3675df828e9ee022429d9595eed398d95333b223a70040ed69f07682e8aeaf90978f7466f4b9a412207d54d58 SHA512 14a861a6b0b55ee71db08f4c73e741fd92e5433d62411a2b17b177470b23148e288d835f80c2bdb388297f37be249b8a47bd3f83c2268082248f27d218b9cb9a
diff --git a/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild
deleted file mode 100644
index 837359bcd1a2..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild
+++ /dev/null
@@ -1,53 +0,0 @@
-# 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/
- 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"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="-* amd64"
-REQUIRED_USE="elibc_glibc"
-
-RDEPEND="
- !dev-lang/dafny
- 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
-}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-11-15 19:27 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-11-15 19:27 UTC (permalink / raw
To: gentoo-commits
commit: b4771e882e42045e84a758a7b27a5f602a47e550
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Nov 15 15:17:05 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Nov 15 19:27:15 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b4771e88
dev-lang/dafny-bin: drop old 3.12.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 -
dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild | 51 ------------------------------
2 files changed, 52 deletions(-)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index eb1839c5ec9f..f59f22927c2a 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,3 +1,2 @@
-DIST dafny-3.12.0-x64-ubuntu-16.04.zip 76588835 BLAKE2B 144928b5e9a32c770d4552be31373defd1153a7ce481aa3948c5fe6c30ff2ce5f20b3d057a587c7762f3c37d63f683275fcf60bbd4ca3754f8713132b3bdfdc9 SHA512 2ea5f97b4fe0f8aaeefd16f739306482824f76ae6c5a37038fedda60bacb2496abc02715c0973a05f845972fd81aeb06e62c3c41d6908c2cf7416006ce8519d4
DIST dafny-4.2.0-x64-ubuntu-20.04.zip 62475183 BLAKE2B d8be842c80bf0cbaaf6fb6b56c8a57f5a45b54dd1b1020fb5062a01ce4d5366bf2ff7a7847d1bdcd9a1217300cded0af0c88d1c6871d4b039178517c8f618dc3 SHA512 86a91592af1b386130855ed73bfb60ec2362bdcadacac43b27a4b2cc36dd6f0894508242357659f7a5120c66ba6438fe23acaef3a65dfbd0912d2438c851a7ca
DIST dafny-4.3.0-x64-ubuntu-20.04.zip 62691627 BLAKE2B edbff278472e5b0494fac38907adefa8fcfb94c3675df828e9ee022429d9595eed398d95333b223a70040ed69f07682e8aeaf90978f7466f4b9a412207d54d58 SHA512 14a861a6b0b55ee71db08f4c73e741fd92e5433d62411a2b17b177470b23148e288d835f80c2bdb388297f37be249b8a47bd3f83c2268082248f27d218b9cb9a
diff --git a/dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild
deleted file mode 100644
index 5e486ad54705..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild
+++ /dev/null
@@ -1,51 +0,0 @@
-# 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
-}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-11-13 19:53 Sam James
0 siblings, 0 replies; 45+ messages in thread
From: Sam James @ 2023-11-13 19:53 UTC (permalink / raw
To: gentoo-commits
commit: fc92ca212e78404d3fb188618ea40dcce6b4a162
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Nov 13 19:52:34 2023 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Nov 13 19:52:34 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fc92ca21
dev-lang/dafny-bin: Stabilize 4.3.0 amd64, #917301
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild
index 0f5cd85b46af..837359bcd1a2 100644
--- a/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild
@@ -10,7 +10,7 @@ SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV
LICENSE="MIT"
SLOT="0"
-KEYWORDS="-* ~amd64"
+KEYWORDS="-* amd64"
REQUIRED_USE="elibc_glibc"
RDEPEND="
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-10-28 16:48 Arthur Zamarin
0 siblings, 0 replies; 45+ messages in thread
From: Arthur Zamarin @ 2023-10-28 16:48 UTC (permalink / raw
To: gentoo-commits
commit: 272b8e82d6f45a577acae833794e02d0908da3e5
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sat Oct 28 16:48:06 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sat Oct 28 16:48:06 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=272b8e82
dev-lang/dafny-bin: Stabilize 4.2.0 amd64, #916395
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild
index 0f5cd85b46af..837359bcd1a2 100644
--- a/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-4.2.0.ebuild
@@ -10,7 +10,7 @@ SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV
LICENSE="MIT"
SLOT="0"
-KEYWORDS="-* ~amd64"
+KEYWORDS="-* amd64"
REQUIRED_USE="elibc_glibc"
RDEPEND="
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-09-30 14:24 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-09-30 14:24 UTC (permalink / raw
To: gentoo-commits
commit: d480aaec2cb9acedec8dfab023dad602d68923c0
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Sep 30 12:53:23 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Sep 30 14:24:27 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d480aaec
dev-lang/dafny-bin: bump to 4.3.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 +
dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild | 53 +++++++++++++++++++++++++++++++
2 files changed, 54 insertions(+)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index c646a4d3bec6..eb1839c5ec9f 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,2 +1,3 @@
DIST dafny-3.12.0-x64-ubuntu-16.04.zip 76588835 BLAKE2B 144928b5e9a32c770d4552be31373defd1153a7ce481aa3948c5fe6c30ff2ce5f20b3d057a587c7762f3c37d63f683275fcf60bbd4ca3754f8713132b3bdfdc9 SHA512 2ea5f97b4fe0f8aaeefd16f739306482824f76ae6c5a37038fedda60bacb2496abc02715c0973a05f845972fd81aeb06e62c3c41d6908c2cf7416006ce8519d4
DIST dafny-4.2.0-x64-ubuntu-20.04.zip 62475183 BLAKE2B d8be842c80bf0cbaaf6fb6b56c8a57f5a45b54dd1b1020fb5062a01ce4d5366bf2ff7a7847d1bdcd9a1217300cded0af0c88d1c6871d4b039178517c8f618dc3 SHA512 86a91592af1b386130855ed73bfb60ec2362bdcadacac43b27a4b2cc36dd6f0894508242357659f7a5120c66ba6438fe23acaef3a65dfbd0912d2438c851a7ca
+DIST dafny-4.3.0-x64-ubuntu-20.04.zip 62691627 BLAKE2B edbff278472e5b0494fac38907adefa8fcfb94c3675df828e9ee022429d9595eed398d95333b223a70040ed69f07682e8aeaf90978f7466f4b9a412207d54d58 SHA512 14a861a6b0b55ee71db08f4c73e741fd92e5433d62411a2b17b177470b23148e288d835f80c2bdb388297f37be249b8a47bd3f83c2268082248f27d218b9cb9a
diff --git a/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild
new file mode 100644
index 000000000000..0f5cd85b46af
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild
@@ -0,0 +1,53 @@
+# 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/
+ 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"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="-* ~amd64"
+REQUIRED_USE="elibc_glibc"
+
+RDEPEND="
+ !dev-lang/dafny
+ 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
+}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-09-30 14:24 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-09-30 14:24 UTC (permalink / raw
To: gentoo-commits
commit: feb188f13d40fea50569f3e4fe0fa1b49460b883
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Sep 30 12:52:39 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Sep 30 14:24:27 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=feb188f1
dev-lang/dafny-bin: drop old 3.10.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 -
dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild | 51 ------------------------------
2 files changed, 52 deletions(-)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index a23e46ecac93..c646a4d3bec6 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,3 +1,2 @@
-DIST dafny-3.10.0-x64-ubuntu-16.04.zip 76468200 BLAKE2B d3b35260fca709f1808ec47874f5566dd2fc42af9a43354a97b86b8962b1b15c95df10f25fa8f0d6a12c83f5c12569aa981d56b796aeb1fd7563fc59c62d4259 SHA512 3f8e669025fd655a7709334876652176b3dce1eb980f1f797cf829fa53b125129a66a175d3a4fcc56aa276e28661c6d795ccc01901d0e457bdac754b29382ca3
DIST dafny-3.12.0-x64-ubuntu-16.04.zip 76588835 BLAKE2B 144928b5e9a32c770d4552be31373defd1153a7ce481aa3948c5fe6c30ff2ce5f20b3d057a587c7762f3c37d63f683275fcf60bbd4ca3754f8713132b3bdfdc9 SHA512 2ea5f97b4fe0f8aaeefd16f739306482824f76ae6c5a37038fedda60bacb2496abc02715c0973a05f845972fd81aeb06e62c3c41d6908c2cf7416006ce8519d4
DIST dafny-4.2.0-x64-ubuntu-20.04.zip 62475183 BLAKE2B d8be842c80bf0cbaaf6fb6b56c8a57f5a45b54dd1b1020fb5062a01ce4d5366bf2ff7a7847d1bdcd9a1217300cded0af0c88d1c6871d4b039178517c8f618dc3 SHA512 86a91592af1b386130855ed73bfb60ec2362bdcadacac43b27a4b2cc36dd6f0894508242357659f7a5120c66ba6438fe23acaef3a65dfbd0912d2438c851a7ca
diff --git a/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
deleted file mode 100644
index 5e486ad54705..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
+++ /dev/null
@@ -1,51 +0,0 @@
-# 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
-}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-09-18 0:17 Sam James
0 siblings, 0 replies; 45+ messages in thread
From: Sam James @ 2023-09-18 0:17 UTC (permalink / raw
To: gentoo-commits
commit: c12b53ccd6db80a581f8f2bbb26efef52704a0ca
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Sep 18 00:17:45 2023 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Sep 18 00:17:45 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c12b53cc
dev-lang/dafny-bin: Stabilize 3.12.0 amd64, #914366
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild
index 1d1588371688..5e486ad54705 100644
--- a/dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild
@@ -9,7 +9,7 @@ SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV
LICENSE="MIT"
SLOT="0"
-KEYWORDS="-* ~amd64"
+KEYWORDS="-* amd64"
REQUIRED_USE="elibc_glibc"
RDEPEND="
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-09-16 14:48 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-09-16 14:48 UTC (permalink / raw
To: gentoo-commits
commit: 94685dc4b8f757f2c0d221182ccc028d613ae13f
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Sep 16 14:45:59 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Sep 16 14:47:36 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=94685dc4
dev-lang/dafny-bin: drop old 3.11.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 -
dev-lang/dafny-bin/dafny-bin-3.11.0.ebuild | 51 ------------------------------
2 files changed, 52 deletions(-)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 441e6fd1dd8d..39e39c3242c6 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,3 +1,2 @@
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
diff --git a/dev-lang/dafny-bin/dafny-bin-3.11.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.11.0.ebuild
deleted file mode 100644
index 1d1588371688..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-3.11.0.ebuild
+++ /dev/null
@@ -1,51 +0,0 @@
-# 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
-}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-02-28 18:03 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-02-28 18:03 UTC (permalink / raw
To: gentoo-commits
commit: dedd1cff904a0c1610751ddbba1ac2e2f34bbd07
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Feb 28 17:07:29 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Feb 28 18:03:17 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=dedd1cff
dev-lang/dafny-bin: switch maint to dotnet <AT> gentoo.org
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/metadata.xml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/dev-lang/dafny-bin/metadata.xml b/dev-lang/dafny-bin/metadata.xml
index f0b8fd07b684..9533d79f1088 100644
--- a/dev-lang/dafny-bin/metadata.xml
+++ b/dev-lang/dafny-bin/metadata.xml
@@ -2,9 +2,9 @@
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <maintainer type="person">
- <email>xgqt@gentoo.org</email>
- <name>Maciej Barć</name>
+ <maintainer type="project">
+ <email>dotnet@gentoo.org</email>
+ <name>Gentoo Dotnet Project</name>
</maintainer>
<longdescription>
Dafny is a verification-ready programming language. As you type in your
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-02-21 23:54 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-02-21 23:54 UTC (permalink / raw
To: gentoo-commits
commit: 76fc122086248e94e1c1b416f2a0e790b69925ce
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Feb 21 21:25:26 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Feb 21 23:53:59 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=76fc1220
dev-lang/dafny-bin: bump to 3.12.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 +
dev-lang/dafny-bin/dafny-bin-3.12.0.ebuild | 51 ++++++++++++++++++++++++++++++
2 files changed, 52 insertions(+)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 71aec7bef6e6..441e6fd1dd8d 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,2 +1,3 @@
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
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
+}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-02-01 19:38 Sam James
0 siblings, 0 replies; 45+ messages in thread
From: Sam James @ 2023-02-01 19:38 UTC (permalink / raw
To: gentoo-commits
commit: 9e268e67b7c3f4fed4ba0f7ad08317fdf852018a
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Feb 1 19:38:01 2023 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Feb 1 19:38:07 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9e268e67
dev-lang/dafny-bin: Stabilize 3.10.0 amd64, #892820
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
index 3571c06eeb55..5e486ad54705 100644
--- a/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -9,7 +9,7 @@ SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV
LICENSE="MIT"
SLOT="0"
-KEYWORDS="-* ~amd64"
+KEYWORDS="-* amd64"
REQUIRED_USE="elibc_glibc"
RDEPEND="
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-02-01 14:10 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-02-01 14:10 UTC (permalink / raw
To: gentoo-commits
commit: a08c191b0d3b46b2f2fd9f106e5731d97fd7d029
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Feb 1 13:31:25 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Feb 1 14:09:57 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a08c191b
dev-lang/dafny-bin: drop old 3.9.1-r1
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 -
dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild | 51 ----------------------------
2 files changed, 52 deletions(-)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 4dcad02d5600..71aec7bef6e6 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,3 +1,2 @@
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.9.1-x64-ubuntu-16.04.zip 76356092 BLAKE2B 7337cbc5b698cec24ffcc3d05cc00403e37a865e422bab36860ca4a1136c3bf4d8dc70647640d0e3f1dc6846a0b72a3edc6a09cef51d7d56ab455dabd006236a SHA512 dbacd0dbeb4e97497faf7f6b6bfedac1ccc9f0e1da129ac1e3b124a0920ac659b6c78237102c5e087d350017c3bb3fd93ac8ca353b1b0e2d13073f35bfc9df7d
diff --git a/dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild
deleted file mode 100644
index 3571c06eeb55..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild
+++ /dev/null
@@ -1,51 +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"
-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
-}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-02-01 14:09 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-02-01 14:09 UTC (permalink / raw
To: gentoo-commits
commit: 3939d117488a33f2c0404c51f86e976b896f06fa
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Feb 1 13:30:18 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Feb 1 14:09:57 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3939d117
dev-lang/dafny-bin: bump to 3.11.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 +
dev-lang/dafny-bin/dafny-bin-3.11.0.ebuild | 51 ++++++++++++++++++++++++++++++
2 files changed, 52 insertions(+)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index bc3b38d89abb..0ee7b3ba08aa 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,3 +1,4 @@
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.9.0-x64-ubuntu-16.04.zip 76348358 BLAKE2B aa217b8583a54f11e23769c214bff182025d7a8669a27f63ef3ee161640f1637d3eebc3e154c44d6cb0dc07060ac0bb3ba38dc7504af04c7a3c04425ee7437df SHA512 e595c80eed0c994a5e2f6cc34b18262f3401d7968e9da32449638591898998a56de70989240e8227ed6c40946205ba20542ac13e4e90cc597de657d81d389060
DIST dafny-3.9.1-x64-ubuntu-16.04.zip 76356092 BLAKE2B 7337cbc5b698cec24ffcc3d05cc00403e37a865e422bab36860ca4a1136c3bf4d8dc70647640d0e3f1dc6846a0b72a3edc6a09cef51d7d56ab455dabd006236a SHA512 dbacd0dbeb4e97497faf7f6b6bfedac1ccc9f0e1da129ac1e3b124a0920ac659b6c78237102c5e087d350017c3bb3fd93ac8ca353b1b0e2d13073f35bfc9df7d
diff --git a/dev-lang/dafny-bin/dafny-bin-3.11.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.11.0.ebuild
new file mode 100644
index 000000000000..1d1588371688
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-3.11.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
+}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2023-02-01 14:09 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2023-02-01 14:09 UTC (permalink / raw
To: gentoo-commits
commit: 8024c8c01a62ea668dff67ff7d204896e4f9bbab
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Feb 1 13:31:09 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Feb 1 14:09:57 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8024c8c0
dev-lang/dafny-bin: drop old 3.9.0-r1
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 -
dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild | 51 ----------------------------
2 files changed, 52 deletions(-)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 0ee7b3ba08aa..4dcad02d5600 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,4 +1,3 @@
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.9.0-x64-ubuntu-16.04.zip 76348358 BLAKE2B aa217b8583a54f11e23769c214bff182025d7a8669a27f63ef3ee161640f1637d3eebc3e154c44d6cb0dc07060ac0bb3ba38dc7504af04c7a3c04425ee7437df SHA512 e595c80eed0c994a5e2f6cc34b18262f3401d7968e9da32449638591898998a56de70989240e8227ed6c40946205ba20542ac13e4e90cc597de657d81d389060
DIST dafny-3.9.1-x64-ubuntu-16.04.zip 76356092 BLAKE2B 7337cbc5b698cec24ffcc3d05cc00403e37a865e422bab36860ca4a1136c3bf4d8dc70647640d0e3f1dc6846a0b72a3edc6a09cef51d7d56ab455dabd006236a SHA512 dbacd0dbeb4e97497faf7f6b6bfedac1ccc9f0e1da129ac1e3b124a0920ac659b6c78237102c5e087d350017c3bb3fd93ac8ca353b1b0e2d13073f35bfc9df7d
diff --git a/dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild
deleted file mode 100644
index 3571c06eeb55..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild
+++ /dev/null
@@ -1,51 +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"
-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
-}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-12-15 21:51 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-12-15 21:51 UTC (permalink / raw
To: gentoo-commits
commit: 2aae64a96eaa2c1c1375bb0bb534d0fd6e70116a
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Dec 15 21:50:22 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Dec 15 21:51:18 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2aae64a9
dev-lang/dafny-bin: bump to 3.10.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 +
dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild | 51 ++++++++++++++++++++++++++++++
2 files changed, 52 insertions(+)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 2f26ffe919c2..35f211fa3997 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,3 +1,4 @@
+DIST dafny-3.10.0-x64-ubuntu-16.04.zip 76468200 BLAKE2B d3b35260fca709f1808ec47874f5566dd2fc42af9a43354a97b86b8962b1b15c95df10f25fa8f0d6a12c83f5c12569aa981d56b796aeb1fd7563fc59c62d4259 SHA512 3f8e669025fd655a7709334876652176b3dce1eb980f1f797cf829fa53b125129a66a175d3a4fcc56aa276e28661c6d795ccc01901d0e457bdac754b29382ca3
DIST dafny-3.8.1-x64-ubuntu-16.04.zip 76192825 BLAKE2B fbfe65f917fb1c04151969e466097ea5703b70fea5c2e04ed6ed756d05c3c46796951d641cca66c30b59d4b70dcee2bef9c7ccac6cd04fe3204b41a08910197c SHA512 ae10f912977827525902317a2215b3066f4271efd2dfdf314859b8c82cfb18ea881bafba5bde0d9f31f3b1429bef252774ca7a495f6661dff7f9f0d5fe042806
DIST dafny-3.9.0-x64-ubuntu-16.04.zip 76348358 BLAKE2B aa217b8583a54f11e23769c214bff182025d7a8669a27f63ef3ee161640f1637d3eebc3e154c44d6cb0dc07060ac0bb3ba38dc7504af04c7a3c04425ee7437df SHA512 e595c80eed0c994a5e2f6cc34b18262f3401d7968e9da32449638591898998a56de70989240e8227ed6c40946205ba20542ac13e4e90cc597de657d81d389060
DIST dafny-3.9.1-x64-ubuntu-16.04.zip 76356092 BLAKE2B 7337cbc5b698cec24ffcc3d05cc00403e37a865e422bab36860ca4a1136c3bf4d8dc70647640d0e3f1dc6846a0b72a3edc6a09cef51d7d56ab455dabd006236a SHA512 dbacd0dbeb4e97497faf7f6b6bfedac1ccc9f0e1da129ac1e3b124a0920ac659b6c78237102c5e087d350017c3bb3fd93ac8ca353b1b0e2d13073f35bfc9df7d
diff --git a/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
new file mode 100644
index 000000000000..3571c06eeb55
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
@@ -0,0 +1,51 @@
+# 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"
+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
+}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-12-15 21:51 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-12-15 21:51 UTC (permalink / raw
To: gentoo-commits
commit: e9bfee871bd303561ed98d86343ce07ba85c3a7c
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Dec 15 21:51:03 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Dec 15 21:51:18 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e9bfee87
dev-lang/dafny-bin: drop old 3.8.1-r1
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 -
dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild | 51 ----------------------------
2 files changed, 52 deletions(-)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 35f211fa3997..bc3b38d89abb 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,4 +1,3 @@
DIST dafny-3.10.0-x64-ubuntu-16.04.zip 76468200 BLAKE2B d3b35260fca709f1808ec47874f5566dd2fc42af9a43354a97b86b8962b1b15c95df10f25fa8f0d6a12c83f5c12569aa981d56b796aeb1fd7563fc59c62d4259 SHA512 3f8e669025fd655a7709334876652176b3dce1eb980f1f797cf829fa53b125129a66a175d3a4fcc56aa276e28661c6d795ccc01901d0e457bdac754b29382ca3
-DIST dafny-3.8.1-x64-ubuntu-16.04.zip 76192825 BLAKE2B fbfe65f917fb1c04151969e466097ea5703b70fea5c2e04ed6ed756d05c3c46796951d641cca66c30b59d4b70dcee2bef9c7ccac6cd04fe3204b41a08910197c SHA512 ae10f912977827525902317a2215b3066f4271efd2dfdf314859b8c82cfb18ea881bafba5bde0d9f31f3b1429bef252774ca7a495f6661dff7f9f0d5fe042806
DIST dafny-3.9.0-x64-ubuntu-16.04.zip 76348358 BLAKE2B aa217b8583a54f11e23769c214bff182025d7a8669a27f63ef3ee161640f1637d3eebc3e154c44d6cb0dc07060ac0bb3ba38dc7504af04c7a3c04425ee7437df SHA512 e595c80eed0c994a5e2f6cc34b18262f3401d7968e9da32449638591898998a56de70989240e8227ed6c40946205ba20542ac13e4e90cc597de657d81d389060
DIST dafny-3.9.1-x64-ubuntu-16.04.zip 76356092 BLAKE2B 7337cbc5b698cec24ffcc3d05cc00403e37a865e422bab36860ca4a1136c3bf4d8dc70647640d0e3f1dc6846a0b72a3edc6a09cef51d7d56ab455dabd006236a SHA512 dbacd0dbeb4e97497faf7f6b6bfedac1ccc9f0e1da129ac1e3b124a0920ac659b6c78237102c5e087d350017c3bb3fd93ac8ca353b1b0e2d13073f35bfc9df7d
diff --git a/dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild
deleted file mode 100644
index 1c122629aafc..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild
+++ /dev/null
@@ -1,51 +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: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
-}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-11-18 20:38 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-11-18 20:38 UTC (permalink / raw
To: gentoo-commits
commit: 0d8a0892d862cd9214ea39af7c081fa6aa4d7790
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Nov 18 18:59:39 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Nov 18 20:38:03 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0d8a0892
dev-lang/dafny-bin: depend on lttng-ust with SLOT=0/2.12
Closes: https://bugs.gentoo.org/875614
Bug: https://bugs.gentoo.org/798990
Bug: https://bugs.gentoo.org/872605
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
.../dafny-bin/{dafny-bin-3.8.1.ebuild => dafny-bin-3.8.1-r1.ebuild} | 2 +-
.../dafny-bin/{dafny-bin-3.9.0.ebuild => dafny-bin-3.9.0-r1.ebuild} | 2 +-
.../dafny-bin/{dafny-bin-3.9.1.ebuild => dafny-bin-3.9.1-r1.ebuild} | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild
similarity index 97%
rename from dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild
rename to dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild
index 39a827f48c53..1c122629aafc 100644
--- a/dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild
@@ -14,7 +14,7 @@ REQUIRED_USE="elibc_glibc"
RDEPEND="
dev-libs/userspace-rcu
- dev-util/lttng-ust
+ dev-util/lttng-ust:0/2.12
sci-mathematics/z3
"
BDEPEND="app-arch/unzip"
diff --git a/dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild
similarity index 97%
rename from dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild
rename to dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild
index c7dbe567fbba..3571c06eeb55 100644
--- a/dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-3.9.0-r1.ebuild
@@ -14,7 +14,7 @@ REQUIRED_USE="elibc_glibc"
RDEPEND="
dev-libs/userspace-rcu
- dev-util/lttng-ust
+ dev-util/lttng-ust:0/2.12
sci-mathematics/z3
"
BDEPEND="app-arch/unzip"
diff --git a/dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild
similarity index 97%
rename from dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild
rename to dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild
index c7dbe567fbba..3571c06eeb55 100644
--- a/dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-3.9.1-r1.ebuild
@@ -14,7 +14,7 @@ REQUIRED_USE="elibc_glibc"
RDEPEND="
dev-libs/userspace-rcu
- dev-util/lttng-ust
+ dev-util/lttng-ust:0/2.12
sci-mathematics/z3
"
BDEPEND="app-arch/unzip"
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-11-01 2:38 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-11-01 2:38 UTC (permalink / raw
To: gentoo-commits
commit: 717ce126fd8e6a0f2d20044e0f89b536944d9037
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Oct 31 22:53:51 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Nov 1 02:38:06 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=717ce126
dev-lang/dafny-bin: bump to 3.9.1
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 +
dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild | 51 +++++++++++++++++++++++++++++++
2 files changed, 52 insertions(+)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 67e2634f4132..02347ba64b2b 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,3 +1,4 @@
DIST dafny-3.8.0-x64-ubuntu-16.04.zip 76181911 BLAKE2B 9fbae78bb08ed448a164188758c53de6eb928f16e941ee2830c5d8ed3980e3f4ccdd4f1b99c30061a5838ef96dd71ad0ac4a69ffdf45ca8a428e37cbd1f8049d SHA512 43628709dfe34d91fda3b723e4f9deacace463a4002c520d62b319f3618b2e62dec93e2fd913926e41c8ef75dd3535a909c4eeb2e58e00faa6ffdd1f028f8277
DIST dafny-3.8.1-x64-ubuntu-16.04.zip 76192825 BLAKE2B fbfe65f917fb1c04151969e466097ea5703b70fea5c2e04ed6ed756d05c3c46796951d641cca66c30b59d4b70dcee2bef9c7ccac6cd04fe3204b41a08910197c SHA512 ae10f912977827525902317a2215b3066f4271efd2dfdf314859b8c82cfb18ea881bafba5bde0d9f31f3b1429bef252774ca7a495f6661dff7f9f0d5fe042806
DIST dafny-3.9.0-x64-ubuntu-16.04.zip 76348358 BLAKE2B aa217b8583a54f11e23769c214bff182025d7a8669a27f63ef3ee161640f1637d3eebc3e154c44d6cb0dc07060ac0bb3ba38dc7504af04c7a3c04425ee7437df SHA512 e595c80eed0c994a5e2f6cc34b18262f3401d7968e9da32449638591898998a56de70989240e8227ed6c40946205ba20542ac13e4e90cc597de657d81d389060
+DIST dafny-3.9.1-x64-ubuntu-16.04.zip 76356092 BLAKE2B 7337cbc5b698cec24ffcc3d05cc00403e37a865e422bab36860ca4a1136c3bf4d8dc70647640d0e3f1dc6846a0b72a3edc6a09cef51d7d56ab455dabd006236a SHA512 dbacd0dbeb4e97497faf7f6b6bfedac1ccc9f0e1da129ac1e3b124a0920ac659b6c78237102c5e087d350017c3bb3fd93ac8ca353b1b0e2d13073f35bfc9df7d
diff --git a/dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild
new file mode 100644
index 000000000000..c7dbe567fbba
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-3.9.1.ebuild
@@ -0,0 +1,51 @@
+# 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"
+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
+ # 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
+}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-11-01 2:38 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-11-01 2:38 UTC (permalink / raw
To: gentoo-commits
commit: 50a92b06aa99628f9b8f4e08ce545962161ef4c8
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Oct 31 22:57:16 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Nov 1 02:38:07 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=50a92b06
dev-lang/dafny-bin: drop old 3.8.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 -
dev-lang/dafny-bin/dafny-bin-3.8.0.ebuild | 51 -------------------------------
2 files changed, 52 deletions(-)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 02347ba64b2b..2f26ffe919c2 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,4 +1,3 @@
-DIST dafny-3.8.0-x64-ubuntu-16.04.zip 76181911 BLAKE2B 9fbae78bb08ed448a164188758c53de6eb928f16e941ee2830c5d8ed3980e3f4ccdd4f1b99c30061a5838ef96dd71ad0ac4a69ffdf45ca8a428e37cbd1f8049d SHA512 43628709dfe34d91fda3b723e4f9deacace463a4002c520d62b319f3618b2e62dec93e2fd913926e41c8ef75dd3535a909c4eeb2e58e00faa6ffdd1f028f8277
DIST dafny-3.8.1-x64-ubuntu-16.04.zip 76192825 BLAKE2B fbfe65f917fb1c04151969e466097ea5703b70fea5c2e04ed6ed756d05c3c46796951d641cca66c30b59d4b70dcee2bef9c7ccac6cd04fe3204b41a08910197c SHA512 ae10f912977827525902317a2215b3066f4271efd2dfdf314859b8c82cfb18ea881bafba5bde0d9f31f3b1429bef252774ca7a495f6661dff7f9f0d5fe042806
DIST dafny-3.9.0-x64-ubuntu-16.04.zip 76348358 BLAKE2B aa217b8583a54f11e23769c214bff182025d7a8669a27f63ef3ee161640f1637d3eebc3e154c44d6cb0dc07060ac0bb3ba38dc7504af04c7a3c04425ee7437df SHA512 e595c80eed0c994a5e2f6cc34b18262f3401d7968e9da32449638591898998a56de70989240e8227ed6c40946205ba20542ac13e4e90cc597de657d81d389060
DIST dafny-3.9.1-x64-ubuntu-16.04.zip 76356092 BLAKE2B 7337cbc5b698cec24ffcc3d05cc00403e37a865e422bab36860ca4a1136c3bf4d8dc70647640d0e3f1dc6846a0b72a3edc6a09cef51d7d56ab455dabd006236a SHA512 dbacd0dbeb4e97497faf7f6b6bfedac1ccc9f0e1da129ac1e3b124a0920ac659b6c78237102c5e087d350017c3bb3fd93ac8ca353b1b0e2d13073f35bfc9df7d
diff --git a/dev-lang/dafny-bin/dafny-bin-3.8.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.8.0.ebuild
deleted file mode 100644
index 39a827f48c53..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-3.8.0.ebuild
+++ /dev/null
@@ -1,51 +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
- # 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
-}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-10-06 2:28 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-10-06 2:28 UTC (permalink / raw
To: gentoo-commits
commit: b4f7cb650e4e985964819af5a80c4609922caf83
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Oct 6 02:28:12 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Oct 6 02:28:18 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b4f7cb65
dev-lang/dafny-bin: drop old 3.7.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 -
dev-lang/dafny-bin/dafny-bin-3.7.3.ebuild | 50 -------------------------------
2 files changed, 51 deletions(-)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index fe3bb673077d..67e2634f4132 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,4 +1,3 @@
-DIST dafny-3.7.3-x64-ubuntu-16.04.zip 76169341 BLAKE2B eb8bee64a0bd39b8af0996e298590c83bcf306dbfda5bc486ef70b13187b4fc0131fd2b98d5eb1b87a3177b1f25c5cd64b82522e4d57cf1b0d2aa1eb34869789 SHA512 0bdda39e8ae22eff72bd57e4ef5f07495e27156b11ff553a2e1f76731d7daa5ce6ac4f4d8b16b3365eacbbd25bc81d88cbfece9a0350e2a0faac2a035f3d5561
DIST dafny-3.8.0-x64-ubuntu-16.04.zip 76181911 BLAKE2B 9fbae78bb08ed448a164188758c53de6eb928f16e941ee2830c5d8ed3980e3f4ccdd4f1b99c30061a5838ef96dd71ad0ac4a69ffdf45ca8a428e37cbd1f8049d SHA512 43628709dfe34d91fda3b723e4f9deacace463a4002c520d62b319f3618b2e62dec93e2fd913926e41c8ef75dd3535a909c4eeb2e58e00faa6ffdd1f028f8277
DIST dafny-3.8.1-x64-ubuntu-16.04.zip 76192825 BLAKE2B fbfe65f917fb1c04151969e466097ea5703b70fea5c2e04ed6ed756d05c3c46796951d641cca66c30b59d4b70dcee2bef9c7ccac6cd04fe3204b41a08910197c SHA512 ae10f912977827525902317a2215b3066f4271efd2dfdf314859b8c82cfb18ea881bafba5bde0d9f31f3b1429bef252774ca7a495f6661dff7f9f0d5fe042806
DIST dafny-3.9.0-x64-ubuntu-16.04.zip 76348358 BLAKE2B aa217b8583a54f11e23769c214bff182025d7a8669a27f63ef3ee161640f1637d3eebc3e154c44d6cb0dc07060ac0bb3ba38dc7504af04c7a3c04425ee7437df SHA512 e595c80eed0c994a5e2f6cc34b18262f3401d7968e9da32449638591898998a56de70989240e8227ed6c40946205ba20542ac13e4e90cc597de657d81d389060
diff --git a/dev-lang/dafny-bin/dafny-bin-3.7.3.ebuild b/dev-lang/dafny-bin/dafny-bin-3.7.3.ebuild
deleted file mode 100644
index 8601d4b64977..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-3.7.3.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}
- # 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
-}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-10-06 1:59 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-10-06 1:59 UTC (permalink / raw
To: gentoo-commits
commit: 022c23ece950df5476a64d16b48574be124c7f7c
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Oct 6 01:49:12 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Oct 6 01:59:19 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=022c23ec
dev-lang/dafny-bin: bump to 3.9.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 +
dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild | 51 +++++++++++++++++++++++++++++++
2 files changed, 52 insertions(+)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 16bad2dd965f..fe3bb673077d 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,3 +1,4 @@
DIST dafny-3.7.3-x64-ubuntu-16.04.zip 76169341 BLAKE2B eb8bee64a0bd39b8af0996e298590c83bcf306dbfda5bc486ef70b13187b4fc0131fd2b98d5eb1b87a3177b1f25c5cd64b82522e4d57cf1b0d2aa1eb34869789 SHA512 0bdda39e8ae22eff72bd57e4ef5f07495e27156b11ff553a2e1f76731d7daa5ce6ac4f4d8b16b3365eacbbd25bc81d88cbfece9a0350e2a0faac2a035f3d5561
DIST dafny-3.8.0-x64-ubuntu-16.04.zip 76181911 BLAKE2B 9fbae78bb08ed448a164188758c53de6eb928f16e941ee2830c5d8ed3980e3f4ccdd4f1b99c30061a5838ef96dd71ad0ac4a69ffdf45ca8a428e37cbd1f8049d SHA512 43628709dfe34d91fda3b723e4f9deacace463a4002c520d62b319f3618b2e62dec93e2fd913926e41c8ef75dd3535a909c4eeb2e58e00faa6ffdd1f028f8277
DIST dafny-3.8.1-x64-ubuntu-16.04.zip 76192825 BLAKE2B fbfe65f917fb1c04151969e466097ea5703b70fea5c2e04ed6ed756d05c3c46796951d641cca66c30b59d4b70dcee2bef9c7ccac6cd04fe3204b41a08910197c SHA512 ae10f912977827525902317a2215b3066f4271efd2dfdf314859b8c82cfb18ea881bafba5bde0d9f31f3b1429bef252774ca7a495f6661dff7f9f0d5fe042806
+DIST dafny-3.9.0-x64-ubuntu-16.04.zip 76348358 BLAKE2B aa217b8583a54f11e23769c214bff182025d7a8669a27f63ef3ee161640f1637d3eebc3e154c44d6cb0dc07060ac0bb3ba38dc7504af04c7a3c04425ee7437df SHA512 e595c80eed0c994a5e2f6cc34b18262f3401d7968e9da32449638591898998a56de70989240e8227ed6c40946205ba20542ac13e4e90cc597de657d81d389060
diff --git a/dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild
new file mode 100644
index 000000000000..c7dbe567fbba
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-3.9.0.ebuild
@@ -0,0 +1,51 @@
+# 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"
+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
+ # 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
+}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-09-02 2:23 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-09-02 2:23 UTC (permalink / raw
To: gentoo-commits
commit: b3dc489e2b4f645738bb37b31c9c7a491d2ab31a
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Sep 2 02:22:30 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Sep 2 02:22:30 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b3dc489e
dev-lang/dafny-bin: drop old 3.7.2
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 -
dev-lang/dafny-bin/dafny-bin-3.7.2.ebuild | 50 -------------------------------
2 files changed, 51 deletions(-)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index a10076e98a45..16bad2dd965f 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,4 +1,3 @@
-DIST dafny-3.7.2-x64-ubuntu-16.04.zip 76166815 BLAKE2B a0b2531dedbe413298b6d92a65c854d70785d8732688d1e3556a5e5dc8c268b36dbb994e35960f2a18ecf40e64a6ff0912fa8df79beb6f2f81164be51907d262 SHA512 e472b1c848aece2980e67134a27bc1cab4a531b048790b7b36638e618d59f3f3e8ddcb538cd24723135266899a02b7c8952a73d81c4848e672c21c99c40c5af0
DIST dafny-3.7.3-x64-ubuntu-16.04.zip 76169341 BLAKE2B eb8bee64a0bd39b8af0996e298590c83bcf306dbfda5bc486ef70b13187b4fc0131fd2b98d5eb1b87a3177b1f25c5cd64b82522e4d57cf1b0d2aa1eb34869789 SHA512 0bdda39e8ae22eff72bd57e4ef5f07495e27156b11ff553a2e1f76731d7daa5ce6ac4f4d8b16b3365eacbbd25bc81d88cbfece9a0350e2a0faac2a035f3d5561
DIST dafny-3.8.0-x64-ubuntu-16.04.zip 76181911 BLAKE2B 9fbae78bb08ed448a164188758c53de6eb928f16e941ee2830c5d8ed3980e3f4ccdd4f1b99c30061a5838ef96dd71ad0ac4a69ffdf45ca8a428e37cbd1f8049d SHA512 43628709dfe34d91fda3b723e4f9deacace463a4002c520d62b319f3618b2e62dec93e2fd913926e41c8ef75dd3535a909c4eeb2e58e00faa6ffdd1f028f8277
DIST dafny-3.8.1-x64-ubuntu-16.04.zip 76192825 BLAKE2B fbfe65f917fb1c04151969e466097ea5703b70fea5c2e04ed6ed756d05c3c46796951d641cca66c30b59d4b70dcee2bef9c7ccac6cd04fe3204b41a08910197c SHA512 ae10f912977827525902317a2215b3066f4271efd2dfdf314859b8c82cfb18ea881bafba5bde0d9f31f3b1429bef252774ca7a495f6661dff7f9f0d5fe042806
diff --git a/dev-lang/dafny-bin/dafny-bin-3.7.2.ebuild b/dev-lang/dafny-bin/dafny-bin-3.7.2.ebuild
deleted file mode 100644
index 8601d4b64977..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-3.7.2.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}
- # 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
-}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-09-02 2:23 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-09-02 2:23 UTC (permalink / raw
To: gentoo-commits
commit: 64e87607ee03faca4b365625be5dc32c2cbb8cd6
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Sep 2 02:21:27 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Sep 2 02:21:27 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=64e87607
dev-lang/dafny-bin: bump to 3.8.1
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 +
dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild | 51 +++++++++++++++++++++++++++++++
2 files changed, 52 insertions(+)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index f9268f44c180..a10076e98a45 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,3 +1,4 @@
DIST dafny-3.7.2-x64-ubuntu-16.04.zip 76166815 BLAKE2B a0b2531dedbe413298b6d92a65c854d70785d8732688d1e3556a5e5dc8c268b36dbb994e35960f2a18ecf40e64a6ff0912fa8df79beb6f2f81164be51907d262 SHA512 e472b1c848aece2980e67134a27bc1cab4a531b048790b7b36638e618d59f3f3e8ddcb538cd24723135266899a02b7c8952a73d81c4848e672c21c99c40c5af0
DIST dafny-3.7.3-x64-ubuntu-16.04.zip 76169341 BLAKE2B eb8bee64a0bd39b8af0996e298590c83bcf306dbfda5bc486ef70b13187b4fc0131fd2b98d5eb1b87a3177b1f25c5cd64b82522e4d57cf1b0d2aa1eb34869789 SHA512 0bdda39e8ae22eff72bd57e4ef5f07495e27156b11ff553a2e1f76731d7daa5ce6ac4f4d8b16b3365eacbbd25bc81d88cbfece9a0350e2a0faac2a035f3d5561
DIST dafny-3.8.0-x64-ubuntu-16.04.zip 76181911 BLAKE2B 9fbae78bb08ed448a164188758c53de6eb928f16e941ee2830c5d8ed3980e3f4ccdd4f1b99c30061a5838ef96dd71ad0ac4a69ffdf45ca8a428e37cbd1f8049d SHA512 43628709dfe34d91fda3b723e4f9deacace463a4002c520d62b319f3618b2e62dec93e2fd913926e41c8ef75dd3535a909c4eeb2e58e00faa6ffdd1f028f8277
+DIST dafny-3.8.1-x64-ubuntu-16.04.zip 76192825 BLAKE2B fbfe65f917fb1c04151969e466097ea5703b70fea5c2e04ed6ed756d05c3c46796951d641cca66c30b59d4b70dcee2bef9c7ccac6cd04fe3204b41a08910197c SHA512 ae10f912977827525902317a2215b3066f4271efd2dfdf314859b8c82cfb18ea881bafba5bde0d9f31f3b1429bef252774ca7a495f6661dff7f9f0d5fe042806
diff --git a/dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild
new file mode 100644
index 000000000000..39a827f48c53
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-3.8.1.ebuild
@@ -0,0 +1,51 @@
+# 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
+ # 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
+}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-08-27 1:27 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-08-27 1:27 UTC (permalink / raw
To: gentoo-commits
commit: cdf6b1e3d5b985b8cf651dd8bf1d9ac0ab6fe407
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Aug 27 01:16:56 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Aug 27 01:27:02 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cdf6b1e3
dev-lang/dafny-bin: drop old 3.7.1-r2
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 -
dev-lang/dafny-bin/dafny-bin-3.7.1-r2.ebuild | 50 ----------------------------
2 files changed, 51 deletions(-)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index fb17c2418c44..f9268f44c180 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,4 +1,3 @@
-DIST dafny-3.7.1-x64-ubuntu-16.04.zip 76008449 BLAKE2B 5685dcc04e750960fa9bed536d6fae8f70979be899349eaab54bb7045a6e6a9849988be10db3ad33c9096a8d91d17f7b055e50507f736a169aa4fdcb6654b8f6 SHA512 689f3a125e336806c7fe15a8e0cc95e3242f99b719bfae57715313699880c21b13cf2eddfe4163e40da8de20f81c7148dce132dbc511b7a5c2320c1e96d2040a
DIST dafny-3.7.2-x64-ubuntu-16.04.zip 76166815 BLAKE2B a0b2531dedbe413298b6d92a65c854d70785d8732688d1e3556a5e5dc8c268b36dbb994e35960f2a18ecf40e64a6ff0912fa8df79beb6f2f81164be51907d262 SHA512 e472b1c848aece2980e67134a27bc1cab4a531b048790b7b36638e618d59f3f3e8ddcb538cd24723135266899a02b7c8952a73d81c4848e672c21c99c40c5af0
DIST dafny-3.7.3-x64-ubuntu-16.04.zip 76169341 BLAKE2B eb8bee64a0bd39b8af0996e298590c83bcf306dbfda5bc486ef70b13187b4fc0131fd2b98d5eb1b87a3177b1f25c5cd64b82522e4d57cf1b0d2aa1eb34869789 SHA512 0bdda39e8ae22eff72bd57e4ef5f07495e27156b11ff553a2e1f76731d7daa5ce6ac4f4d8b16b3365eacbbd25bc81d88cbfece9a0350e2a0faac2a035f3d5561
DIST dafny-3.8.0-x64-ubuntu-16.04.zip 76181911 BLAKE2B 9fbae78bb08ed448a164188758c53de6eb928f16e941ee2830c5d8ed3980e3f4ccdd4f1b99c30061a5838ef96dd71ad0ac4a69ffdf45ca8a428e37cbd1f8049d SHA512 43628709dfe34d91fda3b723e4f9deacace463a4002c520d62b319f3618b2e62dec93e2fd913926e41c8ef75dd3535a909c4eeb2e58e00faa6ffdd1f028f8277
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
deleted file mode 100644
index 8601d4b64977..000000000000
--- a/dev-lang/dafny-bin/dafny-bin-3.7.1-r2.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}
- # 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
-}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-08-27 1:27 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-08-27 1:27 UTC (permalink / raw
To: gentoo-commits
commit: 3f50d6f5c1b74194e7a32bbe2ab741f9d540ce45
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Aug 27 01:16:43 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Aug 27 01:27:02 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3f50d6f5
dev-lang/dafny-bin: bump to 3.8.0
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 +
dev-lang/dafny-bin/dafny-bin-3.8.0.ebuild | 51 +++++++++++++++++++++++++++++++
2 files changed, 52 insertions(+)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 061ade61d849..fb17c2418c44 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,3 +1,4 @@
DIST dafny-3.7.1-x64-ubuntu-16.04.zip 76008449 BLAKE2B 5685dcc04e750960fa9bed536d6fae8f70979be899349eaab54bb7045a6e6a9849988be10db3ad33c9096a8d91d17f7b055e50507f736a169aa4fdcb6654b8f6 SHA512 689f3a125e336806c7fe15a8e0cc95e3242f99b719bfae57715313699880c21b13cf2eddfe4163e40da8de20f81c7148dce132dbc511b7a5c2320c1e96d2040a
DIST dafny-3.7.2-x64-ubuntu-16.04.zip 76166815 BLAKE2B a0b2531dedbe413298b6d92a65c854d70785d8732688d1e3556a5e5dc8c268b36dbb994e35960f2a18ecf40e64a6ff0912fa8df79beb6f2f81164be51907d262 SHA512 e472b1c848aece2980e67134a27bc1cab4a531b048790b7b36638e618d59f3f3e8ddcb538cd24723135266899a02b7c8952a73d81c4848e672c21c99c40c5af0
DIST dafny-3.7.3-x64-ubuntu-16.04.zip 76169341 BLAKE2B eb8bee64a0bd39b8af0996e298590c83bcf306dbfda5bc486ef70b13187b4fc0131fd2b98d5eb1b87a3177b1f25c5cd64b82522e4d57cf1b0d2aa1eb34869789 SHA512 0bdda39e8ae22eff72bd57e4ef5f07495e27156b11ff553a2e1f76731d7daa5ce6ac4f4d8b16b3365eacbbd25bc81d88cbfece9a0350e2a0faac2a035f3d5561
+DIST dafny-3.8.0-x64-ubuntu-16.04.zip 76181911 BLAKE2B 9fbae78bb08ed448a164188758c53de6eb928f16e941ee2830c5d8ed3980e3f4ccdd4f1b99c30061a5838ef96dd71ad0ac4a69ffdf45ca8a428e37cbd1f8049d SHA512 43628709dfe34d91fda3b723e4f9deacace463a4002c520d62b319f3618b2e62dec93e2fd913926e41c8ef75dd3535a909c4eeb2e58e00faa6ffdd1f028f8277
diff --git a/dev-lang/dafny-bin/dafny-bin-3.8.0.ebuild b/dev-lang/dafny-bin/dafny-bin-3.8.0.ebuild
new file mode 100644
index 000000000000..39a827f48c53
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-3.8.0.ebuild
@@ -0,0 +1,51 @@
+# 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
+ # 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
+}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-07-22 2:26 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-07-22 2:26 UTC (permalink / raw
To: gentoo-commits
commit: c355bfcaf66e31d9c811d77db6752be8080137e9
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Jul 22 01:24:25 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Jul 22 01:24:25 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c355bfca
dev-lang/dafny-bin: bump to 3.7.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 +
dev-lang/dafny-bin/dafny-bin-3.7.3.ebuild | 50 +++++++++++++++++++++++++++++++
2 files changed, 51 insertions(+)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 554e14530b71..061ade61d849 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,2 +1,3 @@
DIST dafny-3.7.1-x64-ubuntu-16.04.zip 76008449 BLAKE2B 5685dcc04e750960fa9bed536d6fae8f70979be899349eaab54bb7045a6e6a9849988be10db3ad33c9096a8d91d17f7b055e50507f736a169aa4fdcb6654b8f6 SHA512 689f3a125e336806c7fe15a8e0cc95e3242f99b719bfae57715313699880c21b13cf2eddfe4163e40da8de20f81c7148dce132dbc511b7a5c2320c1e96d2040a
DIST dafny-3.7.2-x64-ubuntu-16.04.zip 76166815 BLAKE2B a0b2531dedbe413298b6d92a65c854d70785d8732688d1e3556a5e5dc8c268b36dbb994e35960f2a18ecf40e64a6ff0912fa8df79beb6f2f81164be51907d262 SHA512 e472b1c848aece2980e67134a27bc1cab4a531b048790b7b36638e618d59f3f3e8ddcb538cd24723135266899a02b7c8952a73d81c4848e672c21c99c40c5af0
+DIST dafny-3.7.3-x64-ubuntu-16.04.zip 76169341 BLAKE2B eb8bee64a0bd39b8af0996e298590c83bcf306dbfda5bc486ef70b13187b4fc0131fd2b98d5eb1b87a3177b1f25c5cd64b82522e4d57cf1b0d2aa1eb34869789 SHA512 0bdda39e8ae22eff72bd57e4ef5f07495e27156b11ff553a2e1f76731d7daa5ce6ac4f4d8b16b3365eacbbd25bc81d88cbfece9a0350e2a0faac2a035f3d5561
diff --git a/dev-lang/dafny-bin/dafny-bin-3.7.3.ebuild b/dev-lang/dafny-bin/dafny-bin-3.7.3.ebuild
new file mode 100644
index 000000000000..8601d4b64977
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-3.7.3.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
+}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-07-19 19:32 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-07-19 19:32 UTC (permalink / raw
To: gentoo-commits
commit: c83357b8a831e17aa628222bd34fb934af82d2b8
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Jul 19 18:28:14 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Jul 19 19:32:11 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c83357b8
dev-lang/dafny-bin: bump to 3.7.2
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 +
dev-lang/dafny-bin/dafny-bin-3.7.2.ebuild | 50 +++++++++++++++++++++++++++++++
2 files changed, 51 insertions(+)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 6e4055cab706..554e14530b71 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1 +1,2 @@
DIST dafny-3.7.1-x64-ubuntu-16.04.zip 76008449 BLAKE2B 5685dcc04e750960fa9bed536d6fae8f70979be899349eaab54bb7045a6e6a9849988be10db3ad33c9096a8d91d17f7b055e50507f736a169aa4fdcb6654b8f6 SHA512 689f3a125e336806c7fe15a8e0cc95e3242f99b719bfae57715313699880c21b13cf2eddfe4163e40da8de20f81c7148dce132dbc511b7a5c2320c1e96d2040a
+DIST dafny-3.7.2-x64-ubuntu-16.04.zip 76166815 BLAKE2B a0b2531dedbe413298b6d92a65c854d70785d8732688d1e3556a5e5dc8c268b36dbb994e35960f2a18ecf40e64a6ff0912fa8df79beb6f2f81164be51907d262 SHA512 e472b1c848aece2980e67134a27bc1cab4a531b048790b7b36638e618d59f3f3e8ddcb538cd24723135266899a02b7c8952a73d81c4848e672c21c99c40c5af0
diff --git a/dev-lang/dafny-bin/dafny-bin-3.7.2.ebuild b/dev-lang/dafny-bin/dafny-bin-3.7.2.ebuild
new file mode 100644
index 000000000000..8601d4b64977
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-3.7.2.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
+}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-06-30 15:33 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-06-30 15:33 UTC (permalink / raw
To: gentoo-commits
commit: b30329214eaa780ff4a9f210855234099ad09737
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Jun 30 15:33:08 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Jun 30 15:33:08 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b3032921
dev-lang/dafny-bin: use insopts
Closes: https://bugs.gentoo.org/855365
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
.../{dafny-bin-3.7.1-r1.ebuild => dafny-bin-3.7.1-r2.ebuild} | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-lang/dafny-bin/dafny-bin-3.7.1-r1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.7.1-r2.ebuild
similarity index 92%
rename from dev-lang/dafny-bin/dafny-bin-3.7.1-r1.ebuild
rename to dev-lang/dafny-bin/dafny-bin-3.7.1-r2.ebuild
index 9677b86513fe..8601d4b64977 100644
--- a/dev-lang/dafny-bin/dafny-bin-3.7.1-r1.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-3.7.1-r2.ebuild
@@ -36,12 +36,12 @@ src_install() {
local dest=/opt/dafny
insinto ${dest}
+ # Maybe too general, but this installation mode matched how it arrives.
+ insopts -m0755
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
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-06-30 13:13 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-06-30 13:13 UTC (permalink / raw
To: gentoo-commits
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}
^ permalink raw reply related [flat|nested] 45+ messages in thread* [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/
@ 2022-06-29 16:00 Maciej Barć
0 siblings, 0 replies; 45+ messages in thread
From: Maciej Barć @ 2022-06-29 16:00 UTC (permalink / raw
To: gentoo-commits
commit: cac9016508d0b21c96651c29c666d12da080a4be
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Jun 29 15:58:21 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Jun 29 15:58:36 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cac90165
dev-lang/dafny-bin: new package; add version 3.7.1
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/dafny-bin/Manifest | 1 +
dev-lang/dafny-bin/dafny-bin-3.7.1.ebuild | 46 +++++++++++++++++++++++++++++++
dev-lang/dafny-bin/metadata.xml | 33 ++++++++++++++++++++++
3 files changed, 80 insertions(+)
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
new file mode 100644
index 000000000000..6e4055cab706
--- /dev/null
+++ b/dev-lang/dafny-bin/Manifest
@@ -0,0 +1 @@
+DIST dafny-3.7.1-x64-ubuntu-16.04.zip 76008449 BLAKE2B 5685dcc04e750960fa9bed536d6fae8f70979be899349eaab54bb7045a6e6a9849988be10db3ad33c9096a8d91d17f7b055e50507f736a169aa4fdcb6654b8f6 SHA512 689f3a125e336806c7fe15a8e0cc95e3242f99b719bfae57715313699880c21b13cf2eddfe4163e40da8de20f81c7148dce132dbc511b7a5c2320c1e96d2040a
diff --git a/dev-lang/dafny-bin/dafny-bin-3.7.1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.7.1.ebuild
new file mode 100644
index 000000000000..ee4df7023ffb
--- /dev/null
+++ b/dev-lang/dafny-bin/dafny-bin-3.7.1.ebuild
@@ -0,0 +1,46 @@
+# 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="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}"/*
+
+ # CONSIDER: Just the entry-point binaries need executable permissions?
+ 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/metadata.xml b/dev-lang/dafny-bin/metadata.xml
new file mode 100644
index 000000000000..f0b8fd07b684
--- /dev/null
+++ b/dev-lang/dafny-bin/metadata.xml
@@ -0,0 +1,33 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+ <maintainer type="person">
+ <email>xgqt@gentoo.org</email>
+ <name>Maciej Barć</name>
+ </maintainer>
+ <longdescription>
+ Dafny is a verification-ready programming language. As you type in your
+ program, Dafny's verifier constantly looks over your shoulder, flags any
+ errors, shows you counterexamples, and congratulates you when your code
+ matches your specifications. When you're done, Dafny can compile your code
+ to C#, Java, JavaScript or Go (more to come!), so it can integrate with
+ your existing workflow. Dafny will give you assurance that your code meets
+ the specifications you write, while letting you write both code and
+ specifications in the Dafny programming language itself. Since verification
+ is an integral part of development, it will thus reduce the risk of costly
+ late-stage bugs that are typically missed by testing. Dafny has support for
+ common programming concepts such as classes and trait inheritance,
+ inductive datatypes that can have methods and are suitable for pattern
+ matching, lazily unbounded datatypes, subset types e.g. for bounded
+ integers, lambdas, and immutable and mutable data structures. Dafny also
+ offers an extensive toolbox for mathematical proofs, such as unbounded and
+ bounded quantifiers, calculational proofs, pre- and post-conditions,
+ termination conditions, loop invariants, and read/write specifications.
+ </longdescription>
+ <upstream>
+ <changelog>https://github.com/dafny-lang/dafny/releases/</changelog>
+ <bugs-to>https://github.com/dafny-lang/dafny/issues/</bugs-to>
+ <remote-id type="github">dafny-lang/dafny</remote-id>
+ </upstream>
+</pkgmetadata>
^ permalink raw reply related [flat|nested] 45+ messages in thread
end of thread, other threads:[~2024-10-31 23:17 UTC | newest]
Thread overview: 45+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2023-09-17 19:32 [gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny-bin/ Maciej Barć
-- strict thread matches above, loose matches on Subject: below --
2024-10-31 23:17 Maciej Barć
2024-10-31 23:17 Maciej Barć
2024-10-23 16:48 Sam James
2024-09-22 22:04 Maciej Barć
2024-09-22 22:04 Maciej Barć
2024-08-01 16:47 Arthur Zamarin
2024-06-27 22:42 Maciej Barć
2024-04-29 0:06 Sam James
2024-03-29 3:06 Maciej Barć
2024-03-29 3:06 Maciej Barć
2024-03-20 19:30 Maciej Barć
2024-03-20 19:30 Maciej Barć
2024-01-18 17:25 Sam James
2023-12-13 2:27 Maciej Barć
2023-11-15 19:27 Maciej Barć
2023-11-15 19:27 Maciej Barć
2023-11-13 19:53 Sam James
2023-10-28 16:48 Arthur Zamarin
2023-09-30 14:24 Maciej Barć
2023-09-30 14:24 Maciej Barć
2023-09-18 0:17 Sam James
2023-09-16 14:48 Maciej Barć
2023-02-28 18:03 Maciej Barć
2023-02-21 23:54 Maciej Barć
2023-02-01 19:38 Sam James
2023-02-01 14:10 Maciej Barć
2023-02-01 14:09 Maciej Barć
2023-02-01 14:09 Maciej Barć
2022-12-15 21:51 Maciej Barć
2022-12-15 21:51 Maciej Barć
2022-11-18 20:38 Maciej Barć
2022-11-01 2:38 Maciej Barć
2022-11-01 2:38 Maciej Barć
2022-10-06 2:28 Maciej Barć
2022-10-06 1:59 Maciej Barć
2022-09-02 2:23 Maciej Barć
2022-09-02 2:23 Maciej Barć
2022-08-27 1:27 Maciej Barć
2022-08-27 1:27 Maciej Barć
2022-07-22 2:26 Maciej Barć
2022-07-19 19:32 Maciej Barć
2022-06-30 15:33 Maciej Barć
2022-06-30 13:13 Maciej Barć
2022-06-29 16:00 Maciej Barć
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox