From 2d5fd1dd4910d46f935776f1f6f475de11367ef2 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Wed, 20 Jul 2022 02:40:19 +0100 Subject: gentoo auto-resync : 20:07:2022 - 02:40:19 --- dev-lang/Manifest.gz | Bin 19028 -> 19027 bytes dev-lang/dafny-bin/Manifest | 2 ++ dev-lang/dafny-bin/dafny-bin-3.7.2.ebuild | 50 ++++++++++++++++++++++++++++++ dev-lang/go/Manifest | 4 +-- dev-lang/go/go-1.17.12.ebuild | 2 +- dev-lang/go/go-1.18.4.ebuild | 2 +- 6 files changed, 56 insertions(+), 4 deletions(-) create mode 100644 dev-lang/dafny-bin/dafny-bin-3.7.2.ebuild (limited to 'dev-lang') diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz index 4efb8e6db017..50a5fc6f0745 100644 Binary files a/dev-lang/Manifest.gz and b/dev-lang/Manifest.gz differ diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest index c2184c969422..db8104ee27a7 100644 --- a/dev-lang/dafny-bin/Manifest +++ b/dev-lang/dafny-bin/Manifest @@ -1,3 +1,5 @@ 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 EBUILD dafny-bin-3.7.1-r2.ebuild 1166 BLAKE2B 066750b3d98c2d45365ac4fac90d43f823136a5df64fc81c6f035fe8a332ed15c1af46af5b52fd3f711377fb4204879c036fd4e7b3d5dbaca7072e8d1be9cd75 SHA512 17ec7f94bbc31b704fbd8707321e35ef2ae0dbf6f20137fab34f4c6dce5fc7c34bcde0022f4ed053c2257992ff7b6402c10f1954dccbcb1656a9c96b01e5c695 +EBUILD dafny-bin-3.7.2.ebuild 1166 BLAKE2B 066750b3d98c2d45365ac4fac90d43f823136a5df64fc81c6f035fe8a332ed15c1af46af5b52fd3f711377fb4204879c036fd4e7b3d5dbaca7072e8d1be9cd75 SHA512 17ec7f94bbc31b704fbd8707321e35ef2ae0dbf6f20137fab34f4c6dce5fc7c34bcde0022f4ed053c2257992ff7b6402c10f1954dccbcb1656a9c96b01e5c695 MISC metadata.xml 1814 BLAKE2B cf1e080cccf3392a44bbf4b94350cf2d83b4704120c193421e5b0952e36bd07d5d2079968c8fc39b4cfc78daf2fb6aa8e58e71b92d4cf1abe3a7cf4297edb750 SHA512 dfd3eb544a7e76ae7d40a993559291348c3ecb58d433f90b44cb67743879e2ca1f7bb249135e39a98b6c41dd32f439c165a4ad0e6a3bd7572f5786b346df70bb 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 +} diff --git a/dev-lang/go/Manifest b/dev-lang/go/Manifest index 6c9164aace84..42cb7c53f642 100644 --- a/dev-lang/go/Manifest +++ b/dev-lang/go/Manifest @@ -4,8 +4,8 @@ DIST go1.17.12.src.tar.gz 22205674 BLAKE2B 0770f1979ba9c14779e078638b2d5f9b6af1a DIST go1.18.3.src.tar.gz 22838104 BLAKE2B 031c34b1b7d45e6b0e357049581972c9f5fc6cabcac6162f27beae1140e03585d85df9d80509a3a64d8d13d691b8ca62f165b0dc782483a9504d46a137300b4e SHA512 bacbc74ab8fa4c8de46847cadbd245124491f960c087d6892e2231a73f689d597b9a992c2948c54c0ab4b6476d86d3a6a9a64e1714cb7b2cdfd0a7bcfcd7b5fe DIST go1.18.4.src.tar.gz 22845866 BLAKE2B 9997100ab5ae8a8ffdf4d2515d45d0bf29decf6d117d8f0079f0ec3fe63b3c5a32181e17c13de2ea656a5e8c87c1ed3f0e00945f717a306d23542bc0425d1d26 SHA512 4872956e31fa5d681021db12e876bc60a1815cf45203e75db83d6c54e9b7138766ae44bf1659db5333eba0b6097aea1990519795fffd2f124e7a78b78df1339b EBUILD go-1.17.11.ebuild 4813 BLAKE2B c4f3808ff284d5a6e9cfe43852073002dc204ac3832bd40c7a132f3661c459ff2e4be15e99530787b95844158e11f200d1cabfc2a2d4dbd28c5f3dd79e145017 SHA512 c30ee5f4110c8bbd292cb3d59eb264bb421d8bd78f06d840866fd39682b9b2691ea974e75b18bce58f6f7d9588652dbda3dfe61a58c6e71447df6aaf14998f2a -EBUILD go-1.17.12.ebuild 4814 BLAKE2B d502262cb2f5f3340690dee1de5732d243937b2322a654b79a8e9b5d1d382e9adff71b2ac00bff6d507a3550a358458c0e5fd75f72a7c5361725b7556407ef08 SHA512 2d9e68c77f2d29fdace6886e7a1b10f673099a1fb3ed1021fe49ef528167b9b496b7ea6e8ff43724263e9c11e12c790897ba60c1a41a774208e8f84f61930b2a +EBUILD go-1.17.12.ebuild 4813 BLAKE2B c4f3808ff284d5a6e9cfe43852073002dc204ac3832bd40c7a132f3661c459ff2e4be15e99530787b95844158e11f200d1cabfc2a2d4dbd28c5f3dd79e145017 SHA512 c30ee5f4110c8bbd292cb3d59eb264bb421d8bd78f06d840866fd39682b9b2691ea974e75b18bce58f6f7d9588652dbda3dfe61a58c6e71447df6aaf14998f2a EBUILD go-1.18.3.ebuild 4813 BLAKE2B c4f3808ff284d5a6e9cfe43852073002dc204ac3832bd40c7a132f3661c459ff2e4be15e99530787b95844158e11f200d1cabfc2a2d4dbd28c5f3dd79e145017 SHA512 c30ee5f4110c8bbd292cb3d59eb264bb421d8bd78f06d840866fd39682b9b2691ea974e75b18bce58f6f7d9588652dbda3dfe61a58c6e71447df6aaf14998f2a -EBUILD go-1.18.4.ebuild 4814 BLAKE2B d502262cb2f5f3340690dee1de5732d243937b2322a654b79a8e9b5d1d382e9adff71b2ac00bff6d507a3550a358458c0e5fd75f72a7c5361725b7556407ef08 SHA512 2d9e68c77f2d29fdace6886e7a1b10f673099a1fb3ed1021fe49ef528167b9b496b7ea6e8ff43724263e9c11e12c790897ba60c1a41a774208e8f84f61930b2a +EBUILD go-1.18.4.ebuild 4813 BLAKE2B c4f3808ff284d5a6e9cfe43852073002dc204ac3832bd40c7a132f3661c459ff2e4be15e99530787b95844158e11f200d1cabfc2a2d4dbd28c5f3dd79e145017 SHA512 c30ee5f4110c8bbd292cb3d59eb264bb421d8bd78f06d840866fd39682b9b2691ea974e75b18bce58f6f7d9588652dbda3dfe61a58c6e71447df6aaf14998f2a EBUILD go-9999.ebuild 4818 BLAKE2B 906a76bebb6036a5e2d5af8563cc2aa3d8c10d48c8926d5e1368026d97c9b00c65973be3f3937396fa35865f0119d9fd59586c66d2ef137c980695a3b62861eb SHA512 07796174e89485089232edfd712a4540bc8bb138894bfa119f8d79deedb3bb8fe770de018637f81c27629e277ea65fa369721b70fead893b600d0d554efae650 MISC metadata.xml 463 BLAKE2B 133822f9d8be6d5aeb0bf8b9e41ee17637cc3e6f78590a36c1811b77a77a74dd541bb98ad57cfeb6b71a9bcb106c4ac58effcfcfbbef6db4e05b155ef196fd0b SHA512 2837a80088ac2e07cccfb78497c121902a3a0e2f6677b42b1cd82dd3b4e2703099b6d4c95c6c08fefbc647b9b279692e3a46b1126acaad9298c1ecd3b6899fe5 diff --git a/dev-lang/go/go-1.17.12.ebuild b/dev-lang/go/go-1.17.12.ebuild index 1bc25f4b2e90..7f1ce9304e51 100644 --- a/dev-lang/go/go-1.17.12.ebuild +++ b/dev-lang/go/go-1.17.12.ebuild @@ -21,7 +21,7 @@ case ${PV} in case ${PV} in *_beta*|*_rc*) ;; *) - KEYWORDS="-* amd64 arm arm64 ppc64 ~riscv ~s390 ~x86 ~amd64-linux ~x86-linux ~x64-macos ~x64-solaris" + KEYWORDS="-* amd64 arm arm64 ppc64 ~riscv ~s390 x86 ~amd64-linux ~x86-linux ~x64-macos ~x64-solaris" ;; esac esac diff --git a/dev-lang/go/go-1.18.4.ebuild b/dev-lang/go/go-1.18.4.ebuild index 1bc25f4b2e90..7f1ce9304e51 100644 --- a/dev-lang/go/go-1.18.4.ebuild +++ b/dev-lang/go/go-1.18.4.ebuild @@ -21,7 +21,7 @@ case ${PV} in case ${PV} in *_beta*|*_rc*) ;; *) - KEYWORDS="-* amd64 arm arm64 ppc64 ~riscv ~s390 ~x86 ~amd64-linux ~x86-linux ~x64-macos ~x64-solaris" + KEYWORDS="-* amd64 arm arm64 ppc64 ~riscv ~s390 x86 ~amd64-linux ~x86-linux ~x64-macos ~x64-solaris" ;; esac esac -- cgit v1.2.3