diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-10-24 04:04:24 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-10-24 04:04:24 +0100 |
| commit | e7daa1f959ba2c720f36a6984f588098e68b15cd (patch) | |
| tree | 42ed099f2514ebda2681a4de13af60727c8a9fab /dev-lang | |
| parent | fd93fe10d9e6c855fed8e1524b2d2d64d2085570 (diff) | |
gentoo auto-resync : 24:10:2024 - 04:04:24
Diffstat (limited to 'dev-lang')
| -rw-r--r-- | dev-lang/Manifest.gz | bin | 21986 -> 21980 bytes | |||
| -rw-r--r-- | dev-lang/ats2/Manifest | 5 | ||||
| -rw-r--r-- | dev-lang/ats2/ats2-0.4.2-r1.ebuild (renamed from dev-lang/ats2/ats2-0.4.2.ebuild) | 26 | ||||
| -rw-r--r-- | dev-lang/ats2/files/ats2-0.4.2-makefile_dist.patch | 13 | ||||
| -rw-r--r-- | dev-lang/boogie/Manifest | 6 | ||||
| -rw-r--r-- | dev-lang/boogie/boogie-3.2.5.ebuild | 2 | ||||
| -rw-r--r-- | dev-lang/boogie/boogie-3.3.0.ebuild | 309 | ||||
| -rw-r--r-- | dev-lang/boogie/boogie-3.3.2.ebuild | 309 | ||||
| -rw-r--r-- | dev-lang/dafny-bin/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/dafny-bin/dafny-bin-4.8.1.ebuild | 2 | ||||
| -rw-r--r-- | dev-lang/dafny/Manifest | 15 | ||||
| -rw-r--r-- | dev-lang/dafny/dafny-4.7.0.ebuild | 665 | ||||
| -rw-r--r-- | dev-lang/rust-bin/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/rust-bin/rust-bin-1.81.0.ebuild | 2 | ||||
| -rw-r--r-- | dev-lang/rust/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/rust/rust-1.81.0.ebuild | 2 | ||||
| -rw-r--r-- | dev-lang/spidermonkey/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/spidermonkey/spidermonkey-128.3.0.ebuild | 2 |
18 files changed, 48 insertions, 1318 deletions
diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz Binary files differindex 5ab623eba69c..67cb4234185e 100644 --- a/dev-lang/Manifest.gz +++ b/dev-lang/Manifest.gz diff --git a/dev-lang/ats2/Manifest b/dev-lang/ats2/Manifest index 60a902c4fe02..9e305ce9c591 100644 --- a/dev-lang/ats2/Manifest +++ b/dev-lang/ats2/Manifest @@ -1,4 +1,7 @@ AUX 50ats2-gentoo.el 200 BLAKE2B 4e07607ab27c87422e5f770746b3d077ca8c2564cb8a3a3bd79411c900dd41a2c1d79df1200b1fad19e8356fc22fb2250ea3f2aac95fa3e5ef9e696b397b59d7 SHA512 06c7550aca601a813dda7f3cc29642479cae27e4f605edd19bb3c41b5f76afdb84723bc81754d067eadd5e6074699969557459bfaf4200d3ecff8dc1867e4635 +AUX ats2-0.4.2-makefile_dist.patch 159 BLAKE2B 6a9ab24d381f259c858186223b803b4554fa1d507383b2835a80ed4078ba1036ec9876f009b321c81a765b2e94a8475b60bc1f95e631aac82dea065b6d52824e SHA512 5bd9a8259f523c86c21f18aee27d86e9d229c44f7af7ee77776c847d0d375c35448bce984f95e8a1b5e80b86f82ad537431b1203a31c6bf635d14185c4fc30d1 DIST ATS2-Postiats-gmp-0.4.2.tgz 4532277 BLAKE2B 3263ab8790c737a2a4f30d2acb770e4f5d3bbedd40136bbf07283541f5b6678aaba7031cf4a2e77552755e5510fcc65446dfc3499645f5c7f4c4e5bc52e8942d SHA512 cfc3f15b1365badcdce535afc7e71ffe25471f2661bdc47294b77c917049566eee4eeb8ec373f4121ad474b8528263d7b3ff8627c1f5b7f3ea7475cb95ca7597 -EBUILD ats2-0.4.2.ebuild 1985 BLAKE2B f2aac7797075569c6dd1e2abaa603de96dcb554e071d63f3930312ff99b653f5edd8c77b3188e81228100bddaf71cde22a29f99996be44beabc61a140cd73db3 SHA512 7b838c2ff4bd88e12b7961fefd0169b0e94bdfe50f33da61a6632bd4823547ab072488151566f6c5061af6d11c4d676b9b57ad3a3d4f32db74ebab7e858fb758 +DIST ats2-0.4.2-2-deprecated-cl-package.patch 2456 BLAKE2B 6a81727dd0dd384009683ce430d1d50caf1fea0d02f31ae0fab4e60861f657d348a334f454e0ea44024a10599c449385ec8bf694463a4a8d956648610c0a6f6f SHA512 1746072b88d8987648a0c7d606c1e0dd1b38d07d1119b89ca6999327aa81068c70e26ddc70bd26a7f5d1d1826fa0e71320a6d52f39aa05c2cd1d858557ba3afc +DIST ats2-0.4.2-2-prelude-function-prototypes.patch 3715 BLAKE2B aff950ceb7b5419973b8ed8a82de92780a32ca4c5beb8856dfe89409fd47d91e154251cb8ab0d978a9ac50f2b6f91395629c78ddecfbc28c91a6b6314af80a7e SHA512 a4bda6c244a94347ec5b32f8b68e4057bf3a442bc8e5e08a7c059881366d25f93193e7d9942d93e2d80082ba9cd08a5fd0bc7b41b74c5056be83cd10a89c55f1 +EBUILD ats2-0.4.2-r1.ebuild 2562 BLAKE2B de29da4655417aae73cdb73190d76a74a150855a5c4b7fab45fe08bad4cdd80149f87439ea49ada8da5e20e8601d153004e7dede64a44d0b1b340f8766a3667e SHA512 1e72703bf46913b4c6cde629405ff5391c56c9b536bbd4c542b2c651aa6a70d8b0654950e9cddd8a2341e63999d108ba7d3e3c3c3628ad09ee9f53165354a9e8 MISC metadata.xml 980 BLAKE2B ba3d935ee5cd32484046247817252585e5f1e8fc4fa502c7689ef90437674a02ca32506c59fadf6489ea43fb8ed769fece9554f7ab32b3e2774e382e66ae5cfc SHA512 86d721588d9c4f1e352c9b4cde43df44db269fb5189ed951244e57f7fe0c86fbc561ede3b5d09ab4b4a50b5fd036eac813e7619e462b2a9d382ec49176229380 diff --git a/dev-lang/ats2/ats2-0.4.2.ebuild b/dev-lang/ats2/ats2-0.4.2-r1.ebuild index e4f7eae958af..a1f05aca38fb 100644 --- a/dev-lang/ats2/ats2-0.4.2.ebuild +++ b/dev-lang/ats2/ats2-0.4.2-r1.ebuild @@ -1,14 +1,22 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 -inherit elisp-common toolchain-funcs +inherit elisp-common flag-o-matic toolchain-funcs DESCRIPTION="Functional programming language with dependent types" HOMEPAGE="https://www.cs.bu.edu/~hwxi/atslangweb/ https://sourceforge.net/projects/ats2-lang/" -SRC_URI="http://downloads.sourceforge.net/sourceforge/ats2-lang/ATS2-Postiats-gmp-${PV}.tgz" + +SRC_URI=" + http://downloads.sourceforge.net/sourceforge/ats2-lang/ATS2-Postiats-gmp-${PV}.tgz + + https://sources.debian.org/data/main/a/ats2-lang/0.4.2-2/debian/patches/deprecated-cl-package + -> ${PN}-0.4.2-2-deprecated-cl-package.patch + https://sources.debian.org/data/main/a/ats2-lang/0.4.2-2/debian/patches/prelude-function-prototypes + -> ${PN}-0.4.2-2-prelude-function-prototypes.patch +" S="${WORKDIR}/ATS2-Postiats-gmp-${PV}" LICENSE="GPL-3+" @@ -24,6 +32,12 @@ DEPEND=" ${RDEPEND} " +PATCHES=( + "${FILESDIR}/${PN}-0.4.2-makefile_dist.patch" + "${DISTDIR}/${PN}-0.4.2-2-deprecated-cl-package.patch" + "${DISTDIR}/${PN}-0.4.2-2-prelude-function-prototypes.patch" +) + SITEFILE="50${PN}-gentoo.el" src_prepare() { @@ -32,8 +46,6 @@ src_prepare() { sed -i Makefile \ -e "/^CFLAGS/s|=| = ${CFLAGS}|" \ -e "/^LDFLAGS/s|=| = ${LDFLAGS}|" \ - -e "/^MAKE/s|=make| ?= \$(MAKE)|g" \ - -e "/^MAKEJ4/s|-j4||" \ || die sed -i ccomp/atslib/Makefile \ @@ -53,6 +65,10 @@ src_prepare() { } src_compile() { + # Not really accurate but need Makefile investigation and patches. + # See: https://bugs.gentoo.org/941105 and https://bugs.gentoo.org/923881 + filter-lto + emake -j1 CC="$(tc-getCC)" GCC="$(tc-getCC)" CCOMP="$(tc-getCC)" all if use emacs ; then diff --git a/dev-lang/ats2/files/ats2-0.4.2-makefile_dist.patch b/dev-lang/ats2/files/ats2-0.4.2-makefile_dist.patch new file mode 100644 index 000000000000..ce24f44d32fc --- /dev/null +++ b/dev-lang/ats2/files/ats2-0.4.2-makefile_dist.patch @@ -0,0 +1,13 @@ +--- a/Makefile_dist ++++ b/Makefile_dist +@@ -19,8 +19,8 @@ RMRF=rm -rf + + ###### + +-MAKE=make +-MAKEJ4=make -j4 ++MAKE ?= $(MAKE) ++MAKEJ4 ?= $(MAKE) + + ###### + # diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index 1be74c119067..e94ce252c40c 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -1,8 +1,6 @@ AUX boogie-3.0.4-disable-analyzers.patch 764 BLAKE2B 965f6a8007a4324aa95b165109dcbc85f7bba5696d04772c53cfb1e456d0c60d2d3dce9103df641fe7f565d2a2d4e04a5d02aba43ac1ccc4527dcaae90b7b28b SHA512 b8c7b9172cd2f45be84058babd33c75f37dcb08f6c1a0b7c79b0ae2bd8afec70b29886f23d0a5553a00e1d3761a7788db0444d06788ee32aed2d1c2cd7cb9554 DIST boogie-3.2.4.tar.gz 2067404 BLAKE2B 3c7edfa3c78335f587e9b3216599c2ffef639ba78103889d1a08236824b04a501a6def08393e08e506eadf1805a8a7310b252b03762f737d28bbab978364710c SHA512 a7d87a980b9b23540102276857621e24c020b6a66762e57c008ab2aa0f82255ba7c0c03b13e7e8ab6e94088e031b23ff2463ef2a96c3e2f572651030b89ce286 DIST boogie-3.2.5.tar.gz 2067333 BLAKE2B 2014351c53fa9a7fcea6cc11f8d236b398b9f44acf0ff388e45a9e3b3e306963b939c45619c4227d398100ab52d6deebaeb5a5d668047cd6d5e631b058f89a07 SHA512 92896489f82ee158b851b3579b363e43dc69c3490815e9f1ba17da115fd6f6f7264e4fcf8388b5dd1891c8ff63514df6ec037454029fb80c5db71381c4d4e8a9 -DIST boogie-3.3.0.tar.gz 2072702 BLAKE2B 1731c4e32ddbc3d311f3eea5d12946008060fb7fa99b16b40699e0126417b18d6bc9f66343d8870b699a39a7dd9f7fca10d7e1660c5d154193a7d87206c6fc95 SHA512 4c9c19c7b7188a0ff39bb9fd56625d5b3ef97d857e5686fc850ea060470aaef3fafc5bf50e1eb8cde13b6b1d01a2e3450db38c77bd79ca48f663e42464c1bad1 -DIST boogie-3.3.2.tar.gz 2071625 BLAKE2B 2a9dda5e44c283279b3affe97963ba00434a9fcc235e375b8ddfaafa31c2ee2d81a3f0226155ef1759f368a45c72102b62f8cc6389040df21acce9f50d7751d4 SHA512 15023fedad93750d03b15a5baeca3374d8ad711a5020933e9c4217840c851cc1710ca1c77476afe1487521f02eebc5c5bd12e6044aaa369636c3d4ccffb816df DIST boogie-3.3.3.tar.gz 2067837 BLAKE2B 36e004327cccf74326e650aff8f9d059b285510a7be0d426a9baf9a49e585ffd720fc03d7716c848ad7024971195d99de2203a7c87d88edcbdc7fc76afa50c66 SHA512 b50154b880063df408694e59d21887d82a6885fc124971e9cf5194cd82ef6c9384e6579aff38d524663c3b504f7bea20fc216de6ee4bfdff17b41e5d7a78e47a DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003 SHA512 221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be3dddd96edaf9c0852a9c23d7b099 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667 SHA512 91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625 @@ -195,8 +193,6 @@ DIST system.xml.xpath.4.3.0.nupkg 250182 BLAKE2B 8a4177d47af56bc7a6289ed8f2cac41 DIST system.xml.xpath.xmldocument.4.0.1.nupkg 86933 BLAKE2B 4c03b5a9433c2c954e75d212f9026885aa7514574b73a54880c3d55baee6bd5517abb46b67b22b9b6e63de92a8bc5ab4ff37e3f7e6454a5c5137ae2be6574b75 SHA512 81041a08d3b9158c43dfb48d42f13ec9950d7c2b7f63e1600a779a77786edfb46c522c32d9cc6a44358fbfe11efba0e539e578ef169261867a1905b8121a045d DIST system.xml.xpath.xmldocument.4.3.0.nupkg 138523 BLAKE2B ba53f3b5ac0f2d1d1e9120940b302e6960690ed4a44b96ba15b03e16f9159f2c57d6004aa55b796ba2327009d23fc2f10d4d09e948b88eb6af36efa5f76e401b SHA512 f75b6f7c75874ab6053e8942c1662a6e9a3561aa01502437b8d67f3bfcebd1ebf906792801326889ed7acb094c55469766d7d27cd10bc61b46ddaaa94dfc11e3 EBUILD boogie-3.2.4.ebuild 9626 BLAKE2B a2ddffedfc66c1264361324380ce46cc7a8726383dd01b03a8d6dac77284cddbb36e4a7bf0e502121c49b08b3f251c34d09d64c819841b18b2b744aa0f886a21 SHA512 6ce9dbe28b8177ca232da791d3151a966ecb78824e84b59b5b5f87b4d2758f1a471ec2c42a3661966bbc4dd317f8aff5c61bcb0a8ca073619739121ca51d1993 -EBUILD boogie-3.2.5.ebuild 9627 BLAKE2B 6e94bbf75ebf930941f9d4a118af4ef2a894518555f3b4792a48d10f6683ddf55598a105231c8ef20c7152bd5f09b95bfadd33d050fde885e0d0133e9dbcb9f7 SHA512 f2514c888d9e1437ca0a83baf66e6a4f60ef00bd864b8c142fa5d9d75408456efa1e4f525cbcf63e8653e8db46f63343fe890dc161752e4035ba96618a2c63e0 -EBUILD boogie-3.3.0.ebuild 9599 BLAKE2B 5f5ab10f20e8c6205247564d07838f4d6d8fe7490a44135559647cfaf43ed94d07e67151fb02f215f75af9dc8365d7b836c54f9703ae2a607c0beb6c6ebaf0da SHA512 73fa3ba805dc6592f1bf9614e3f375d5beaad9a51f381b802962935f4caec4355f523c1ecd413b15d5faf10d39d8b660bf46e008d9621dd4419959cfbe8149ef -EBUILD boogie-3.3.2.ebuild 9596 BLAKE2B 31ca8c08e10e5823e0ce0ca4c97816f52e8ece1d0ad9a1bc0b23149b3410c91a2e625c5d32934ee9da69bfbb5cbf3c67033ef223583c1d9b9bc12375b949f85c SHA512 34cd8cb925affd7bd7f2d39dd130bd9ba3181c4a3b711b2488326275a2ab76dc707892deb58654a4cd9cc4d3fcb9bea356dd4a55d9ed07798afad8621ebe6179 +EBUILD boogie-3.2.5.ebuild 9626 BLAKE2B a2ddffedfc66c1264361324380ce46cc7a8726383dd01b03a8d6dac77284cddbb36e4a7bf0e502121c49b08b3f251c34d09d64c819841b18b2b744aa0f886a21 SHA512 6ce9dbe28b8177ca232da791d3151a966ecb78824e84b59b5b5f87b4d2758f1a471ec2c42a3661966bbc4dd317f8aff5c61bcb0a8ca073619739121ca51d1993 EBUILD boogie-3.3.3.ebuild 9596 BLAKE2B 31ca8c08e10e5823e0ce0ca4c97816f52e8ece1d0ad9a1bc0b23149b3410c91a2e625c5d32934ee9da69bfbb5cbf3c67033ef223583c1d9b9bc12375b949f85c SHA512 34cd8cb925affd7bd7f2d39dd130bd9ba3181c4a3b711b2488326275a2ab76dc707892deb58654a4cd9cc4d3fcb9bea356dd4a55d9ed07798afad8621ebe6179 MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d diff --git a/dev-lang/boogie/boogie-3.2.5.ebuild b/dev-lang/boogie/boogie-3.2.5.ebuild index 754aad26d108..6001bf7f0be1 100644 --- a/dev-lang/boogie/boogie-3.2.5.ebuild +++ b/dev-lang/boogie/boogie-3.2.5.ebuild @@ -210,7 +210,7 @@ else SRC_URI="https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - KEYWORDS="~amd64" + KEYWORDS="amd64" fi SRC_URI+=" ${NUGET_URIS} " diff --git a/dev-lang/boogie/boogie-3.3.0.ebuild b/dev-lang/boogie/boogie-3.3.0.ebuild deleted file mode 100644 index c384b894ab29..000000000000 --- a/dev-lang/boogie/boogie-3.3.0.ebuild +++ /dev/null @@ -1,309 +0,0 @@ -# Copyright 1999-2024 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -DOTNET_PKG_COMPAT="8.0" -NUGETS=" -microsoft.bcl.asyncinterfaces@6.0.0 -microsoft.codecoverage@16.2.0 -microsoft.csharp@4.0.1 -microsoft.dotnet.internalabstractions@1.0.0 -microsoft.net.test.sdk@16.2.0 -microsoft.netcore.platforms@1.0.1 -microsoft.netcore.platforms@1.1.0 -microsoft.netcore.targets@1.0.1 -microsoft.netcore.targets@1.1.0 -microsoft.testplatform.objectmodel@16.2.0 -microsoft.testplatform.testhost@16.2.0 -microsoft.win32.primitives@4.0.1 -microsoft.win32.primitives@4.3.0 -microsoft.win32.registry@4.0.0 -microsoft.win32.registry@4.3.0 -microsoft.win32.systemevents@6.0.0 -netstandard.library@1.6.0 -netstandard.library@2.0.0 -newtonsoft.json@9.0.1 -nunit@3.12.0 -nunit3testadapter@3.15.1 -runtime.any.system.collections@4.3.0 -runtime.any.system.diagnostics.tools@4.3.0 -runtime.any.system.diagnostics.tracing@4.3.0 -runtime.any.system.globalization.calendars@4.3.0 -runtime.any.system.globalization@4.3.0 -runtime.any.system.io@4.3.0 -runtime.any.system.reflection.extensions@4.3.0 -runtime.any.system.reflection.primitives@4.3.0 -runtime.any.system.reflection@4.3.0 -runtime.any.system.resources.resourcemanager@4.3.0 -runtime.any.system.runtime.handles@4.3.0 -runtime.any.system.runtime.interopservices@4.3.0 -runtime.any.system.runtime@4.3.0 -runtime.any.system.text.encoding.extensions@4.3.0 -runtime.any.system.text.encoding@4.3.0 -runtime.any.system.threading.tasks@4.3.0 -runtime.any.system.threading.timer@4.3.0 -runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.native.system.io.compression@4.1.0 -runtime.native.system.net.http@4.0.1 -runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.native.system.security.cryptography@4.0.0 -runtime.native.system@4.0.0 -runtime.native.system@4.3.0 -runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.unix.microsoft.win32.primitives@4.3.0 -runtime.unix.system.console@4.3.0 -runtime.unix.system.diagnostics.debug@4.3.0 -runtime.unix.system.io.filesystem@4.3.0 -runtime.unix.system.net.primitives@4.3.0 -runtime.unix.system.net.sockets@4.3.0 -runtime.unix.system.private.uri@4.3.0 -runtime.unix.system.runtime.extensions@4.3.0 -system.appcontext@4.1.0 -system.buffers@4.0.0 -system.buffers@4.3.0 -system.collections.concurrent@4.0.12 -system.collections.immutable@1.2.0 -system.collections.nongeneric@4.0.1 -system.collections.nongeneric@4.3.0 -system.collections.specialized@4.0.1 -system.collections.specialized@4.3.0 -system.collections@4.0.11 -system.collections@4.3.0 -system.componentmodel.eventbasedasync@4.0.11 -system.componentmodel.eventbasedasync@4.3.0 -system.componentmodel.primitives@4.1.0 -system.componentmodel.primitives@4.3.0 -system.componentmodel.typeconverter@4.1.0 -system.componentmodel.typeconverter@4.3.0 -system.componentmodel@4.0.1 -system.componentmodel@4.3.0 -system.configuration.configurationmanager@6.0.0 -system.console@4.0.0 -system.diagnostics.debug@4.0.11 -system.diagnostics.debug@4.3.0 -system.diagnostics.diagnosticsource@4.0.0 -system.diagnostics.process@4.1.0 -system.diagnostics.process@4.3.0 -system.diagnostics.textwritertracelistener@4.0.0 -system.diagnostics.tools@4.0.1 -system.diagnostics.tracesource@4.0.0 -system.diagnostics.tracing@4.1.0 -system.diagnostics.tracing@4.3.0 -system.drawing.common@6.0.0 -system.dynamic.runtime@4.0.11 -system.globalization.calendars@4.0.1 -system.globalization.extensions@4.0.1 -system.globalization.extensions@4.3.0 -system.globalization@4.0.11 -system.globalization@4.3.0 -system.io.compression.zipfile@4.0.1 -system.io.compression@4.1.0 -system.io.filesystem.primitives@4.0.1 -system.io.filesystem.primitives@4.3.0 -system.io.filesystem@4.0.1 -system.io.filesystem@4.3.0 -system.io@4.1.0 -system.io@4.3.0 -system.linq.async@6.0.1 -system.linq.expressions@4.1.0 -system.linq@4.1.0 -system.linq@4.3.0 -system.net.http@4.1.0 -system.net.nameresolution@4.3.0 -system.net.primitives@4.0.11 -system.net.sockets@4.1.0 -system.objectmodel@4.0.12 -system.private.datacontractserialization@4.1.1 -system.private.uri@4.3.0 -system.reactive@4.4.1 -system.reflection.emit.ilgeneration@4.0.1 -system.reflection.emit.lightweight@4.0.1 -system.reflection.emit@4.0.1 -system.reflection.extensions@4.0.1 -system.reflection.extensions@4.3.0 -system.reflection.metadata@1.3.0 -system.reflection.primitives@4.0.1 -system.reflection.primitives@4.3.0 -system.reflection.typeextensions@4.1.0 -system.reflection.typeextensions@4.3.0 -system.reflection@4.1.0 -system.reflection@4.3.0 -system.resources.resourcemanager@4.0.1 -system.resources.resourcemanager@4.3.0 -system.runtime.caching@6.0.0 -system.runtime.extensions@4.1.0 -system.runtime.extensions@4.3.0 -system.runtime.handles@4.0.1 -system.runtime.handles@4.3.0 -system.runtime.interopservices.runtimeinformation@4.0.0 -system.runtime.interopservices.runtimeinformation@4.3.0 -system.runtime.interopservices@4.1.0 -system.runtime.interopservices@4.3.0 -system.runtime.loader@4.0.0 -system.runtime.numerics@4.0.1 -system.runtime.serialization.json@4.0.2 -system.runtime.serialization.primitives@4.1.1 -system.runtime@4.1.0 -system.runtime@4.3.0 -system.security.accesscontrol@6.0.0 -system.security.claims@4.3.0 -system.security.cryptography.algorithms@4.2.0 -system.security.cryptography.cng@4.2.0 -system.security.cryptography.csp@4.0.0 -system.security.cryptography.encoding@4.0.0 -system.security.cryptography.openssl@4.0.0 -system.security.cryptography.primitives@4.0.0 -system.security.cryptography.protecteddata@6.0.0 -system.security.cryptography.x509certificates@4.1.0 -system.security.permissions@6.0.0 -system.security.principal.windows@4.3.0 -system.security.principal@4.3.0 -system.text.encoding.extensions@4.0.11 -system.text.encoding.extensions@4.3.0 -system.text.encoding@4.0.11 -system.text.encoding@4.3.0 -system.text.regularexpressions@4.1.0 -system.text.regularexpressions@4.3.0 -system.threading.tasks.extensions@4.0.0 -system.threading.tasks.extensions@4.3.0 -system.threading.tasks@4.0.11 -system.threading.tasks@4.3.0 -system.threading.thread@4.0.0 -system.threading.thread@4.3.0 -system.threading.threadpool@4.0.10 -system.threading.threadpool@4.3.0 -system.threading.timer@4.0.1 -system.threading@4.0.11 -system.threading@4.3.0 -system.windows.extensions@6.0.0 -system.xml.readerwriter@4.0.11 -system.xml.readerwriter@4.3.0 -system.xml.xdocument@4.0.11 -system.xml.xmldocument@4.0.1 -system.xml.xmldocument@4.3.0 -system.xml.xmlserializer@4.0.11 -system.xml.xpath.xmldocument@4.0.1 -system.xml.xpath.xmldocument@4.3.0 -system.xml.xpath@4.0.1 -system.xml.xpath@4.3.0 -" - -inherit check-reqs dotnet-pkg edo multiprocessing - -DESCRIPTION="SMT-based program verifier" -HOMEPAGE="https://github.com/boogie-org/boogie/" - -if [[ "${PV}" == *9999* ]] ; then - inherit git-r3 - - EGIT_REPO_URI="https://github.com/boogie-org/${PN}.git" -else - SRC_URI="https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz - -> ${P}.tar.gz" - - KEYWORDS="~amd64" -fi - -SRC_URI+=" ${NUGET_URIS} " - -LICENSE="MIT" -SLOT="0" -IUSE="test" -RESTRICT="!test? ( test )" - -RDEPEND=" - sci-mathematics/z3 -" -BDEPEND=" - ${RDEPEND} - test? ( - dev-python/OutputCheck - dev-python/lit - dev-python/psutil - ) -" - -PATCHES=( "${FILESDIR}/${PN}-3.0.4-disable-analyzers.patch" ) - -CHECKREQS_DISK_BUILD="2G" -DOTNET_PKG_PROJECTS=( Source/BoogieDriver/BoogieDriver.csproj ) -DOTNET_PKG_BUILD_EXTRA_ARGS=( -p:RollForward=Major ) - -pkg_setup() { - check-reqs_pkg_setup - dotnet-pkg_pkg_setup -} - -src_unpack() { - dotnet-pkg_src_unpack - - if [[ -n "${EGIT_REPO_URI}" ]] ; then - git-r3_src_unpack - fi -} - -src_prepare() { - # Remove bad tests. - local -a bad_tests=( - civl/inductive-sequentialization/BroadcastConsensus.bpl - civl/inductive-sequentialization/ChangRoberts.bpl - civl/inductive-sequentialization/PingPong.bpl - civl/inductive-sequentialization/distributed-snapshot.bpl - civl/large-samples/GC.bpl - civl/large-samples/verified-ft.bpl - civl/paxos/is.sh - civl/samples/reserve.bpl - civl/samples/treiber-stack.bpl - havoc0/MouseClassFindMorePorts.bpl - inst/vector-generic.bpl - livevars/stack_overflow.bpl - prover/cvc5-offline.bpl - prover/cvc5.bpl - prover/exitcode.bpl - prover/z3-hard-timeout.bpl - prover/z3mutl.bpl - snapshots/runtest.snapshot - test15/CaptureInlineUnroll.bpl - test2/Timeouts0.bpl - test2/git-issue-366.bpl - test21/InterestingExamples4.bpl - ) - local bad_test - for bad_test in "${bad_tests[@]}" ; do - rm "${S}/Test/${bad_test}" || die - done - - # Update the boogieBinary variable. - sed "/^boogieBinary/s|= .*|= '${DOTNET_PKG_OUTPUT}/BoogieDriver.dll'|" \ - -i "${S}/Test/lit.site.cfg" || die "failed to update lit.site.cfg" - - dotnet-pkg_src_prepare -} - -src_test() { - einfo "Starting tests using the lit test tool." - local -a lit_opts=( - --order="lexical" - --time-tests - --timeout="1800" # Let one test take no more than half a hour. - --verbose - --workers="$(makeopts_jobs)" - ) - edo lit "${lit_opts[@]}" "${S}/Test" -} - -src_install() { - dotnet-pkg-base_install - dotnet-pkg-base_dolauncher "/usr/share/${P}/BoogieDriver" "${PN}" - - einstalldocs -} diff --git a/dev-lang/boogie/boogie-3.3.2.ebuild b/dev-lang/boogie/boogie-3.3.2.ebuild deleted file mode 100644 index 421465ebecee..000000000000 --- a/dev-lang/boogie/boogie-3.3.2.ebuild +++ /dev/null @@ -1,309 +0,0 @@ -# Copyright 1999-2024 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -DOTNET_PKG_COMPAT="8.0" -NUGETS=" -microsoft.bcl.asyncinterfaces@6.0.0 -microsoft.codecoverage@16.2.0 -microsoft.csharp@4.0.1 -microsoft.dotnet.internalabstractions@1.0.0 -microsoft.net.test.sdk@16.2.0 -microsoft.netcore.platforms@1.0.1 -microsoft.netcore.platforms@1.1.0 -microsoft.netcore.targets@1.0.1 -microsoft.netcore.targets@1.1.0 -microsoft.testplatform.objectmodel@16.2.0 -microsoft.testplatform.testhost@16.2.0 -microsoft.win32.primitives@4.0.1 -microsoft.win32.primitives@4.3.0 -microsoft.win32.registry@4.0.0 -microsoft.win32.registry@4.3.0 -microsoft.win32.systemevents@6.0.0 -netstandard.library@1.6.0 -netstandard.library@2.0.0 -newtonsoft.json@9.0.1 -nunit@3.12.0 -nunit3testadapter@3.15.1 -runtime.any.system.collections@4.3.0 -runtime.any.system.diagnostics.tools@4.3.0 -runtime.any.system.diagnostics.tracing@4.3.0 -runtime.any.system.globalization.calendars@4.3.0 -runtime.any.system.globalization@4.3.0 -runtime.any.system.io@4.3.0 -runtime.any.system.reflection.extensions@4.3.0 -runtime.any.system.reflection.primitives@4.3.0 -runtime.any.system.reflection@4.3.0 -runtime.any.system.resources.resourcemanager@4.3.0 -runtime.any.system.runtime.handles@4.3.0 -runtime.any.system.runtime.interopservices@4.3.0 -runtime.any.system.runtime@4.3.0 -runtime.any.system.text.encoding.extensions@4.3.0 -runtime.any.system.text.encoding@4.3.0 -runtime.any.system.threading.tasks@4.3.0 -runtime.any.system.threading.timer@4.3.0 -runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.native.system.io.compression@4.1.0 -runtime.native.system.net.http@4.0.1 -runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.native.system.security.cryptography@4.0.0 -runtime.native.system@4.0.0 -runtime.native.system@4.3.0 -runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.unix.microsoft.win32.primitives@4.3.0 -runtime.unix.system.console@4.3.0 -runtime.unix.system.diagnostics.debug@4.3.0 -runtime.unix.system.io.filesystem@4.3.0 -runtime.unix.system.net.primitives@4.3.0 -runtime.unix.system.net.sockets@4.3.0 -runtime.unix.system.private.uri@4.3.0 -runtime.unix.system.runtime.extensions@4.3.0 -system.appcontext@4.1.0 -system.buffers@4.0.0 -system.buffers@4.3.0 -system.collections.concurrent@4.0.12 -system.collections.immutable@1.2.0 -system.collections.nongeneric@4.0.1 -system.collections.nongeneric@4.3.0 -system.collections.specialized@4.0.1 -system.collections.specialized@4.3.0 -system.collections@4.0.11 -system.collections@4.3.0 -system.componentmodel.eventbasedasync@4.0.11 -system.componentmodel.eventbasedasync@4.3.0 -system.componentmodel.primitives@4.1.0 -system.componentmodel.primitives@4.3.0 -system.componentmodel.typeconverter@4.1.0 -system.componentmodel.typeconverter@4.3.0 -system.componentmodel@4.0.1 -system.componentmodel@4.3.0 -system.configuration.configurationmanager@6.0.0 -system.console@4.0.0 -system.diagnostics.debug@4.0.11 -system.diagnostics.debug@4.3.0 -system.diagnostics.diagnosticsource@4.0.0 -system.diagnostics.process@4.1.0 -system.diagnostics.process@4.3.0 -system.diagnostics.textwritertracelistener@4.0.0 -system.diagnostics.tools@4.0.1 -system.diagnostics.tracesource@4.0.0 -system.diagnostics.tracing@4.1.0 -system.diagnostics.tracing@4.3.0 -system.drawing.common@6.0.0 -system.dynamic.runtime@4.0.11 -system.globalization.calendars@4.0.1 -system.globalization.extensions@4.0.1 -system.globalization.extensions@4.3.0 -system.globalization@4.0.11 -system.globalization@4.3.0 -system.io.compression.zipfile@4.0.1 -system.io.compression@4.1.0 -system.io.filesystem.primitives@4.0.1 -system.io.filesystem.primitives@4.3.0 -system.io.filesystem@4.0.1 -system.io.filesystem@4.3.0 -system.io@4.1.0 -system.io@4.3.0 -system.linq.async@6.0.1 -system.linq.expressions@4.1.0 -system.linq@4.1.0 -system.linq@4.3.0 -system.net.http@4.1.0 -system.net.nameresolution@4.3.0 -system.net.primitives@4.0.11 -system.net.sockets@4.1.0 -system.objectmodel@4.0.12 -system.private.datacontractserialization@4.1.1 -system.private.uri@4.3.0 -system.reactive@4.4.1 -system.reflection.emit.ilgeneration@4.0.1 -system.reflection.emit.lightweight@4.0.1 -system.reflection.emit@4.0.1 -system.reflection.extensions@4.0.1 -system.reflection.extensions@4.3.0 -system.reflection.metadata@1.3.0 -system.reflection.primitives@4.0.1 -system.reflection.primitives@4.3.0 -system.reflection.typeextensions@4.1.0 -system.reflection.typeextensions@4.3.0 -system.reflection@4.1.0 -system.reflection@4.3.0 -system.resources.resourcemanager@4.0.1 -system.resources.resourcemanager@4.3.0 -system.runtime.caching@6.0.0 -system.runtime.extensions@4.1.0 -system.runtime.extensions@4.3.0 -system.runtime.handles@4.0.1 -system.runtime.handles@4.3.0 -system.runtime.interopservices.runtimeinformation@4.0.0 -system.runtime.interopservices.runtimeinformation@4.3.0 -system.runtime.interopservices@4.1.0 -system.runtime.interopservices@4.3.0 -system.runtime.loader@4.0.0 -system.runtime.numerics@4.0.1 -system.runtime.serialization.json@4.0.2 -system.runtime.serialization.primitives@4.1.1 -system.runtime@4.1.0 -system.runtime@4.3.0 -system.security.accesscontrol@6.0.0 -system.security.claims@4.3.0 -system.security.cryptography.algorithms@4.2.0 -system.security.cryptography.cng@4.2.0 -system.security.cryptography.csp@4.0.0 -system.security.cryptography.encoding@4.0.0 -system.security.cryptography.openssl@4.0.0 -system.security.cryptography.primitives@4.0.0 -system.security.cryptography.protecteddata@6.0.0 -system.security.cryptography.x509certificates@4.1.0 -system.security.permissions@6.0.0 -system.security.principal.windows@4.3.0 -system.security.principal@4.3.0 -system.text.encoding.extensions@4.0.11 -system.text.encoding.extensions@4.3.0 -system.text.encoding@4.0.11 -system.text.encoding@4.3.0 -system.text.regularexpressions@4.1.0 -system.text.regularexpressions@4.3.0 -system.threading.tasks.extensions@4.0.0 -system.threading.tasks.extensions@4.3.0 -system.threading.tasks@4.0.11 -system.threading.tasks@4.3.0 -system.threading.thread@4.0.0 -system.threading.thread@4.3.0 -system.threading.threadpool@4.0.10 -system.threading.threadpool@4.3.0 -system.threading.timer@4.0.1 -system.threading@4.0.11 -system.threading@4.3.0 -system.windows.extensions@6.0.0 -system.xml.readerwriter@4.0.11 -system.xml.readerwriter@4.3.0 -system.xml.xdocument@4.0.11 -system.xml.xmldocument@4.0.1 -system.xml.xmldocument@4.3.0 -system.xml.xmlserializer@4.0.11 -system.xml.xpath.xmldocument@4.0.1 -system.xml.xpath.xmldocument@4.3.0 -system.xml.xpath@4.0.1 -system.xml.xpath@4.3.0 -" - -inherit check-reqs dotnet-pkg edo multiprocessing - -DESCRIPTION="SMT-based program verifier" -HOMEPAGE="https://github.com/boogie-org/boogie/" - -if [[ "${PV}" == *9999* ]] ; then - inherit git-r3 - - EGIT_REPO_URI="https://github.com/boogie-org/${PN}.git" -else - SRC_URI="https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz - -> ${P}.tar.gz" - - KEYWORDS="~amd64" -fi - -SRC_URI+=" ${NUGET_URIS} " - -LICENSE="MIT" -SLOT="0" -IUSE="test" -RESTRICT="!test? ( test )" - -RDEPEND=" - sci-mathematics/z3 -" -BDEPEND=" - ${RDEPEND} - test? ( - dev-python/OutputCheck - dev-python/lit - dev-python/psutil - ) -" - -PATCHES=( "${FILESDIR}/${PN}-3.0.4-disable-analyzers.patch" ) - -CHECKREQS_DISK_BUILD="2G" -DOTNET_PKG_PROJECTS=( Source/BoogieDriver/BoogieDriver.csproj ) -DOTNET_PKG_BUILD_EXTRA_ARGS=( -p:RollForward=Major ) - -pkg_setup() { - check-reqs_pkg_setup - dotnet-pkg_pkg_setup -} - -src_unpack() { - dotnet-pkg_src_unpack - - if [[ -n "${EGIT_REPO_URI}" ]] ; then - git-r3_src_unpack - fi -} - -src_prepare() { - # Remove bad tests. - local -a bad_tests=( - civl/inductive-sequentialization/BroadcastConsensus.bpl - civl/inductive-sequentialization/ChangRoberts.bpl - civl/inductive-sequentialization/PingPong.bpl - civl/large-samples/GC.bpl - civl/large-samples/verified-ft.bpl - civl/paxos/is.sh - civl/samples/reserve.bpl - civl/samples/treiber-stack.bpl - havoc0/MouseClassFindMorePorts.bpl - inst/vector-generic.bpl - inst/vector.bpl - livevars/stack_overflow.bpl - prover/cvc5-offline.bpl - prover/cvc5.bpl - prover/exitcode.bpl - prover/z3-hard-timeout.bpl - prover/z3mutl.bpl - snapshots/runtest.snapshot - test15/CaptureInlineUnroll.bpl - test2/Timeouts0.bpl - test2/git-issue-366.bpl - test21/InterestingExamples4.bpl - ) - local bad_test - for bad_test in "${bad_tests[@]}" ; do - rm "${S}/Test/${bad_test}" || ewarn "Failed to remove test: ${bad_test}" - done - - # Update the boogieBinary variable. - sed "/^boogieBinary/s|= .*|= '${DOTNET_PKG_OUTPUT}/BoogieDriver.dll'|" \ - -i "${S}/Test/lit.site.cfg" || die "failed to update lit.site.cfg" - - dotnet-pkg_src_prepare -} - -src_test() { - einfo "Starting tests using the lit test tool." - local -a lit_opts=( - --order="lexical" - --time-tests - --timeout="1800" # Let one test take no more than half a hour. - --verbose - --workers="$(makeopts_jobs)" - ) - edo lit "${lit_opts[@]}" "${S}/Test" -} - -src_install() { - dotnet-pkg-base_install - dotnet-pkg-base_dolauncher "/usr/share/${P}/BoogieDriver" "${PN}" - - einstalldocs -} diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest index 5a35fd2f5365..c328dd35aab2 100644 --- a/dev-lang/dafny-bin/Manifest +++ b/dev-lang/dafny-bin/Manifest @@ -1,5 +1,5 @@ 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 EBUILD dafny-bin-4.7.0.ebuild 1266 BLAKE2B d468b3d62b76525ac092d6ea0c4db6a20d30b883d9c66dca490172ff548e7d27d546e9cf93acbaa8d3b2c6bdc600fcb455f04085971943b413faefcda7b7b56e SHA512 f2eb9d0e966a164ce03c37b46b9e64d5ffb957a03491d931504656d6f918f641329a95f08281e026c9e080ed55e7efd9e7d17ec1b67ec9a2197c2b854e3f50a8 -EBUILD dafny-bin-4.8.1.ebuild 1267 BLAKE2B a43474ee492a32e6dc5287dccf7f3e2b5bef765c120e710194285803c2d8341a89c0bf4cc374e85b753984ac80c4227cc55e5f6440fad7091e65f53d22f0af97 SHA512 dd56c0f34b37a65bae3fc4f54e78c727b39b7efd421b74530c33d60a45a2906edd21c369485ffede7bf158a0b84c85473fa4f320cab2292d923c3c4a84efa3e8 +EBUILD dafny-bin-4.8.1.ebuild 1266 BLAKE2B d468b3d62b76525ac092d6ea0c4db6a20d30b883d9c66dca490172ff548e7d27d546e9cf93acbaa8d3b2c6bdc600fcb455f04085971943b413faefcda7b7b56e SHA512 f2eb9d0e966a164ce03c37b46b9e64d5ffb957a03491d931504656d6f918f641329a95f08281e026c9e080ed55e7efd9e7d17ec1b67ec9a2197c2b854e3f50a8 MISC metadata.xml 1826 BLAKE2B 66f000cee8fbf3bcae05da9249d5bc3388f9c05f32c45e96dd51b035aea220a9d49af25cb89b8b8a64a691408373c1ea02d0f345f9a4a554565f708a894664d5 SHA512 0cc12d9c49360bbc08bb8eccd3f7139ec149a9b731f0283b0f95a8506dd93458eb93f3347a978e55a86279ad85ee3233c1b87bfee36f22c9e40bdd14c0aef6c5 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" diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest index 86047eefe4bc..164d3f5bf959 100644 --- a/dev-lang/dafny/Manifest +++ b/dev-lang/dafny/Manifest @@ -2,50 +2,36 @@ AUX dafny-3.12.0-DafnyCore-csproj.patch 1022 BLAKE2B 6f1d895027a5991192e410f4fa6 AUX dafny-3.12.0-DafnyRuntime-csproj.patch 865 BLAKE2B 33d94935c9aba72b3ef23e878d40d9b533b945c35e1aa339ef2762d75b7e50fafff70a857faac7309b500c3b48fbc5a3cc32e518d2a39f15fa2e2136c926a200 SHA512 eee2c28f577989a4ebdde70df1c4195d6e53ca083eebd1d080073e479bcd490fe495089b4771c84abdf658b87c5dc7ff7d7f9a2ac41ce58982a777f207f86244 AUX dafny-4.5.0-lit-config.patch 830 BLAKE2B 5a073eba4d633b14f491fb18adb8aed821bd97696aea331c32a99570f74ccd69775356ffcee826f9eefc857ae5956874c994ee3a65c6b12b0e1f1fda3ca0d21f SHA512 d04777e29ea8d6f879a7b9b986d68bb6d4bafcbc686816e0aa2bd46bf6d5d6838e11085482f742e7a33c90bdd3551ef57ea10cf6c18373cb3dc89392482cec30 DIST bignumber.js-9.1.2.tgz 79226 BLAKE2B 3d2ff19d73a6fcfbcc0d03d1e9808796baae639e19973cbe0c26af4b514abc299129b8a7bc3e4e803c61af44b76f4381b1965d8fa331ea43e8a4c8fc7f98d8e7 SHA512 dbf98ac991fd2bce5bcce11f8570c11594c6775093b3ee481e9785428f65ba2046ee1821742f39d4f8f658085be84dd1e9bf6d663fd72a16e0e1fba6f8a7a9ba -DIST boogie.abstractinterpretation.3.1.6.nupkg 31060 BLAKE2B 232350ede99fdfe5eafccfe1975d69dec478e353041cfdf85f66b9ef6080b9530c3ce3e1caf9cdadb72dc7238dc0730fe689cd97014f0ca6e7a0721ef5906e51 SHA512 8d1d2d9fa70e3428ae5be04f13498492e3075eef4c51162b265a30361496acf173c1d6ee8d875fc29e1b5bab58d899a351b3fa07c9321c2f30641efaa61391f5 DIST boogie.abstractinterpretation.3.2.3.nupkg 31090 BLAKE2B aee6df566f9d40c958bb04cbb81f5f7b588f5facdb2bc211f41181bdf0e94f30d00c71202faab9eafafc865cb4d1c073798257f64ec25091fb14e9948b3c4a9b SHA512 dee7af159ac9de16a87cf9636e798d5489ba75815cfa5c911ed1473b4c4a80b1ac0f450efcd73a4e1aded2b89632b8512ab619c9b8ed11bd870d6a9f29bf1693 DIST boogie.abstractinterpretation.3.2.5.nupkg 31088 BLAKE2B db290f4e6830377d4782cb6afcf8acb9f316668e558d8a403aac45158e39ab229a155f0fad1ff325661a9c4f1cf3dfbba9690fd4155f879ad8ea6367f1cc499f SHA512 e7b988dd72201d4aa9c804d8a44d3b77cc9215310ee360407942526bd5a6ac435b11119406b6264e743cf884c6c31b04f2bb00722d059e2df8ae5f0acb999275 -DIST boogie.basetypes.3.1.6.nupkg 27130 BLAKE2B 34a2c49a31c3582011934b6fccede103858e6c117d3ad07c0bf07bf95b6899b8274184e615369ea16b5d309273402a3876147ad54cdc3076cbbf6f65603ccc67 SHA512 41365c6b02cf0cc333f2bba5a282f17c061cb9ffeccfaad50888f4ae40571226fbccab5ad4b4ce77d5abea6dfc20d33490006a8694f66a82d6f8fd1cc79f3f4b DIST boogie.basetypes.3.2.3.nupkg 27125 BLAKE2B c83f69ae6e6be944848c2e2280a97c0a8fce63c89f2af3511406731e83ce516d456b5f829b9b41d4188f96632b2321c448274b24c90fe92ba44c12ca11db80af SHA512 2825119e1eaf57c9070ed09ee722e7b10f05450861734edbba3163dd6b4d3d775a4b5ff31e65644a23b525eb5e59db7a36b3dcfc394a81bf820bd8366b52fb12 DIST boogie.basetypes.3.2.5.nupkg 27123 BLAKE2B ef7e958ff952c03286110de27a5cf9647c97bb4ae454052bdcc305482b6cf19fbe137d0efcae35652bf1f0e62a15c23078634837eab62f76cde9aa99d5fe901f SHA512 988956020be1a8471d11b854a476f3b545423e153aa1cb57d46632a4a55a57013cc54c5d03710793f54d182bc177c6c7c4810ee85da5d01b7ecb4181043a31e5 -DIST boogie.codecontractsextender.3.1.6.nupkg 18878 BLAKE2B 8b1b92b1bf916ccd5dabe99102ee1d5feea10fe4cb9aca7926bc1ab7f17e5c626e72f71f9aba33b4a8076760323f8fecc115d7f5d111437c8af0ce51ae97c413 SHA512 7675cf3e961ac3e323fc39fe39e1ed1a955aa2ce651302729c8d1a6a4f015315f3e5fd3cfe79888bc4b2e7b6be4a9fab5febacf7f12b814e3f980f42d99fdea4 DIST boogie.codecontractsextender.3.2.3.nupkg 18877 BLAKE2B b5a05599b2d0d9e63b6599b7eac34f97dda4b1ab4cc1816e9daa646843d3c5ecf4e8a42fbb4f4629805fb331b73e16ac440db8db520323c9c8420b29571a73f8 SHA512 368f3b6273bb4c24e66ddde7ebf3623a5a35bfe57e21e651cd448a80fa62d2376a2c06702938348e86d7b86004f912a9ca86e774cf5bfb6bdbb3ce7146dbf12e DIST boogie.codecontractsextender.3.2.5.nupkg 18869 BLAKE2B 633f10027f1ee70e872230658f2bc5128cb4c91659701c9580778d9bcf13f56982b7f1c181109b5cb69fd5ef108befb2c79334dc6445c51e4550453a4f58a4c2 SHA512 c97092e8c855006eebfc0e26feda9d984a63401e4412b3fdf54707fc56ccc5013e21669dc9d43b7159d7559957fc6667355aea5f2b04deaf9f947fa1392126d5 -DIST boogie.concurrency.3.1.6.nupkg 92317 BLAKE2B 174a2ed0ae2e4141e9f4a4dba6d2498bb7b56babcc25a103a4a77d8fce9b5d7d41e26df16dca3b9f1f64e503d377b9b3b41484be01d80bb820c468bf87f7601e SHA512 c4a62941db25677f45dde8657d3c917a1845e51d3fde13dee40a9446ee30f5a533392b333989864439b29c8278b256b71f0d8eb7d118f1152c7ab514d29103c8 DIST boogie.concurrency.3.2.3.nupkg 97612 BLAKE2B 77239e015b92346d31c315e80dcddda8f439ec7238ea10c0f11020eb67cc3ed04363c50a81194321769cdb99b75f37e95acdddbf4f824ece4ba866c8607743a5 SHA512 5924fba9164bbe18aa3b76742d7ad2cc6f12e6744304a7d15e0d55778b8da71bb63ad83bbfce02101302173ada146e1369274d81fc500e0517fa1454bffa1d55 DIST boogie.concurrency.3.2.5.nupkg 98018 BLAKE2B ae550ef7fabc4e782b1571206610bf6f43acce7a60a46d3ed4f1dc554f2a61b2426be23ddc3a0ba8e206c406762f311c94eaac9b6f830cbd28edc9991a659133 SHA512 47bdaaddbe67e8fb2f873daee2ec2086152a3684ddfd90a6e4dab327be7db58b4419e764e69e1f62658bc643ed621064b5dc537e421de30b9b3ca4fb11e1d652 -DIST boogie.core.3.1.6.nupkg 209262 BLAKE2B 42160fee38ba905ef76ee63e6384b6be8e248302cca8f6fc9784ae822e2d55200a1e54b38c399d616aff2adc47bf7cb34713cff0b11da36c453b47b9b901b8fd SHA512 14f2680defcc7db41698b9e959fb554ea15ab1752dfc238124c535e406029dd29305f26173d7084d98cac235385bc0d8552e16bb2455e6d7ebe687e164b06c1d DIST boogie.core.3.2.3.nupkg 211644 BLAKE2B 175ed102138abed57b0efe41fa340866b9286c2fc1702d35941ba53307c604329bc41838fed5f4aefc9e878741db325621ac5f5a019681d7055f7ec39b4548df SHA512 1f9fc1d698c248efe4fce7a2fe43d75ccafe1c85c311468343e24ba595ae4cc9a8007fc804572238639e55b43ab980728c5ce52572294223e10f6de4d8feacd7 DIST boogie.core.3.2.5.nupkg 212325 BLAKE2B af501c8617be9cc0eed2f66eaed27411177aabea82d070a5394e2ff03bcd929fbcc82c3da0c89f894cccfed11356d8d3ac1adcec7062490392a56558039fe9c0 SHA512 1de2e2d3e0476793ff7082145173d2ef6092673cf725f97b5854a516b9493c099bc7cf03371c932bd43d7ca473236e10728ae1d3623aaee44f084de7b7145820 -DIST boogie.executionengine.3.1.6.nupkg 88418 BLAKE2B 98e49c3c54af899e5e70d39c083fa62fba395aaa5a8abc04362e98bb9ab109cdc854072d0609d30da319373ac66de54e0640d29c8579ac38da91a5104ac926d5 SHA512 7628e192df3914da874ff774419d88a9d684ef500bb74ae0c5cb484438b02c9bf1dd73d814848aac781ca9c236518f71cad07ddb87486ad373d5caccd2bcd6c1 DIST boogie.executionengine.3.2.3.nupkg 88881 BLAKE2B f94d2403a9f62601b865c77a008e0cc6f1284b2666de51b5c977d480a65e39c4bd4895f1181b66fc04297d4081c12eca34e978b1a53fb03ec991a12ee95c58b7 SHA512 d80544fe9952b1000c89844c57244e14181e407cc9325778afdf9c95eff18fbe166eb14d24a1ca1376ecc1428c8d88a69bf6881132c6649a9e4cf69f2c137b20 DIST boogie.executionengine.3.2.5.nupkg 89582 BLAKE2B fb07d43f27f564c43206bc5681f7a24b5e0d92a813a80c973afcd4245289c2172827148d9d09e168aaa4bce21de78ad7be6460017eb9ae5d8da107cff41b0364 SHA512 0709c423e18b00ecc5ec283a1463f35cac4950482ab93407344ada434c5217b720fbc977b480afa7cba8cfb7280af065d7b88c95d0829bb269a2e0e41c0201c3 -DIST boogie.graph.3.1.6.nupkg 29347 BLAKE2B f96ff7e145cd7b5897a984b5d0109783e7e18e74e0a8185816cd80bb4fc53537a16b14f9e0ec98ce90db9f26eed32c8b23420cbf8343b21837e0aa369f6d2354 SHA512 4f385c6941637d456d921ea4247cbdf4eb8e5d470fbf1f1f35972358851fe45f7f925c3fd2f436468e133531174d71aefeb178de30c527fd56388ae89b212056 DIST boogie.graph.3.2.3.nupkg 29420 BLAKE2B c686a976ca8761d6ba311d9a7c285a393fc7966d991dac4e6c6890432fd29e102b1badab61249275dddb57caa4319069a5d466e7ed7219aabbf8a35343d62714 SHA512 39ff97c48ce7dfaebcc601d866d040f5a5d4d1de44121cdde03c1557c90f8a00a11c9c2670f66b12fc210af2bc58fa5804657c8978cd1130d7b67a8c56024742 DIST boogie.graph.3.2.5.nupkg 29379 BLAKE2B 3e13d4e08b247ebcb3220e2e2363bb9d7f6608ae27a652341554549bfc4fbe57ba46254e160e5783b64fb185c028911479678e96d23bda4ad21d1dbfa16a681b SHA512 3a7b3e980cf0b7a7251833f33e4100e5c942ae3818860b11266415cdf247b4f0603c6f0dd845526f791f0ff5f3eccfa2b81be97edf6987a7f359ce5b3e021f0d -DIST boogie.houdini.3.1.6.nupkg 54144 BLAKE2B 4b1571a49818ef03d30a87eb6326c33ec7d693fe31eed4ab4f636dd50ba6015b5594cdb89024943f9beb1322edb4a3813629421609417d6308513e5a0c7a71ff SHA512 608a293d03927b7fc5d3a0cdd364bcbffa7b11bd8443f13afff58aa8dfb4cf0c0c8615786c50e16560df5ee968b41477bf27033d0f48bb518d19a2cecc0c0a19 DIST boogie.houdini.3.2.3.nupkg 54152 BLAKE2B 7af01af66224141598d60a847bb2bf2e6e68d049992fc838d75397e216f504e4b140d5a94b459332b6f35628070a9960708ba324c645c8b425fa4bde661cfb44 SHA512 dcdb9a53be6587b03e134a56d931f4b1fed974bdb3d32a0d6dde12a4398ee430dde49d6cbbe1e206e9d4452f6c168aea5805bc8fcf2e0883046350e9b3d8b3f7 DIST boogie.houdini.3.2.5.nupkg 54145 BLAKE2B a89c11efd001ee4a052bb2174f1aa0cd11c0c681f191a4d6e4780ea098f02a3394939e1f7e55b6caed1f62098046450ed88d8357aa432c68f584f0c863edfee3 SHA512 c179a606ce3f49b2ca491e4ebffb6ed8a001eb551a5e393929f9d235cbe2dc01409daf16b544c412fcf93b31b7e1fd3e90df512f3a9bd7e290649becb3aa25c8 -DIST boogie.model.3.1.6.nupkg 28325 BLAKE2B 11a0a9cf0931e246fc5ac7b2f7598033dff11e92cc7f505616e3af95260c08b65e9ab9bdcf794231240da4a341ce5c88cdfd9ed84b54641c83e0344fd454de0e SHA512 d638cf7c495d26e1edb6ac82d83a6dfa756121098a538ece663095c08ec9f623c57bcf7b34c492889a85e28e928d0f77cc55fc49aa04c9da21ab32220bc15b39 DIST boogie.model.3.2.3.nupkg 28314 BLAKE2B bd5c01968ec6f021646c5ea987d238d76d0303ca59045436614e9564586a698b489997f9d36722763d47b12413bffe60674bd45d539a48f80c381ac191b14dd6 SHA512 0df754580b51b5bdc4a26b8b55f17cdabf224e8db37427e212a896c3f4f05478627428224302ad222fecbcd1b75a7875ce32359649ad571996e78519829fee13 DIST boogie.model.3.2.5.nupkg 28312 BLAKE2B deafc900a7a084123816addd81ea4a42aa9e9ae775ddacbfec3b0791e892c3d82680d187b51fb07aa4f6d82d4806db9ea7d6f22e5c3d5f9363d7c9742784b183 SHA512 eba4d84bdd7cf6238f047af2e18a562b6191e4a827853a9ed0da66773c49cbf1bc4f6aacc8b339f8cf6509afc4863e1977f4b338c778ebdd6d4efb6a2968ce52 -DIST boogie.provers.leanauto.3.1.6.nupkg 30068 BLAKE2B a8a751bc5df775c0ae5b6254734120b2a094c6713618f8854ef785fc02f0774fe6727b930df945b63282e45dbdc2e472fd5508281b9ed5304ad1ac4c1b1bd13a SHA512 37da67c1e202f4b9aac420171d83fd96add2ecce51f69f83901a57151420fc32bdb98e18f31b98e140d881bc1f10cfa19ffcb2ca3c57c0db79a38af42febb7b7 DIST boogie.provers.leanauto.3.2.3.nupkg 30083 BLAKE2B 13cdcfc94a6576eb0bf184f669c0a166e75893a626284872ed029c37a687ac6a585d62db2e239a63fd957738d9cbbab6d9d71baacabc8b9c4c6ead60c97bd9c9 SHA512 39b7edbc94d374dee9ba3aadbe09bc7cb7671271668abdaf8821a6299b58fae8cf4bc07c33b917a7f650abdbcf313d98af43dc6a432f0edeb354cdeacd27fa35 DIST boogie.provers.leanauto.3.2.5.nupkg 30316 BLAKE2B d38b21cc6d6f41f35cce0b6991a78ec263cfbdac94a50943ed9251c344c64830a0e70ee51f7d96807facd360c9486a74c9f1edb6c78506d0bad1fc8755d5e15c SHA512 50f5da6efae9c585cd93a5b2b9d09709860e2700951adbf88ebd268000e30c7337cc59a5178731f56ff946f7b9b4a8b445becb52169cdc010a414aca29e1a017 -DIST boogie.provers.smtlib.3.1.6.nupkg 71966 BLAKE2B 7879b4893bf8f24486648f73aa21f9a5046e04a1ab765ecccc5ae66a5000170eb733949567a52f3c3a46246739976290d6180936a30d6fa4a83966957115d556 SHA512 2edcb1ed93c6d6a4f457785a1cced9d655b8afcfec04558fc189ae9a08ea64036bfdea646366c06ed9eeb5ed34d1ba542d4f88ae716a5fc766f10d6578e51d7c DIST boogie.provers.smtlib.3.2.3.nupkg 71925 BLAKE2B cedaa456e389c50543a18377243217ecb75a92c6800bad359cbd83d5da1ab216c4becee5bc4b55219fe6798ee8bd57057fc340c84b97ef4b99938f86574e88f6 SHA512 1c23cdeee2b4a4a47ce2b4e80bc1fefd1d42f3798582bf8179778b461d63614474cbca9f46e2ddc82990a4d25f134dcc25b738075f76d03f08bf048e217ce030 DIST boogie.provers.smtlib.3.2.5.nupkg 71922 BLAKE2B 5098107dd62e4cef2a346d56a84fa8710116e103d392d39775fa03dc512ea6154d7c52f9e85adfe5c85c0042e28ddfc1727ac64844d5aa72d722f0e97b7a484f SHA512 a51087f2f40f40d36b25dce717a18f8841d8d669f947274f6b78bab3d03315a578dcad0da17733e872797876b04c446372e259e16c034f98cf5ab25daa04e0c3 -DIST boogie.vcexpr.3.1.6.nupkg 75557 BLAKE2B 8fce1d8b05a18bc55c80259e9a856df7c4b0631eca4f19b050bc13405773e4b9f7072e32dba67378eb63e137d1dcd4988b868b57ae2f41c9735ee6dbd9bba274 SHA512 b9bc0d6148bca1010161442ec800a798bd5a5c6748e9b3e41cd8608ecf7020d97c2d111317764dc404f547ce5ed974a7945f8d2e9d948259b0a0f6fb1bf2e327 DIST boogie.vcexpr.3.2.3.nupkg 75389 BLAKE2B 01f0cb6081152993a2da928045524b2092a509109caf3ba3b3e76a9dca391a402e962c227aa4c93c8a368fe4502311874be3f545a5cbec08e522091c8a408393 SHA512 89cb65dc0459e9017923febf2c09bc8a93f7fd6480cb2010f4db84bbe3c745134a50df6f1b4f486619d3b336a59c76bd2455f61774176a484f41ed6a7731342d DIST boogie.vcexpr.3.2.5.nupkg 75407 BLAKE2B 07634d52cf007ae1343365875c5a95a397bf6fd7e5af5e6d3b23662ed619a3ef565720049a77b72aefb8ba2ed5015d7d2266db899ccff2bb687bc323d77d474b SHA512 8c3f9e4126ad3c5099f53ffa23feb1ec1f4a8fea718be320414a86c6423d792e56d4dd623645715423660f2c61f2274e3490854fc6299483f99f669ecddf6592 -DIST boogie.vcgeneration.3.1.6.nupkg 91911 BLAKE2B 405a1995a6438953ab44d912dc633024fb564eb95d258e0d360a13b6b29075eb283da95f02f157fca740b86d499e25c43f98af96664b837cdf13ea496e53b813 SHA512 be76b5c721c42a301bd553b205868328b855e23463e2c728d6780919b2bc09481e3fa5c5abdcd7673b3a9ce48f1675da9fbc120b8bfc978dbccb5b048ea7c55a DIST boogie.vcgeneration.3.2.3.nupkg 95225 BLAKE2B a2325e9f05240140c4ae8a369281b5482b9f16d80b499d8a2c7552c5f87a27c3e0cb5afd012d0499205bdb9e2dc916a513c38a872d17198bd12a36c8e40bd253 SHA512 a4eccf1dc4bf173a441858747f6b6ee0accfc6bd8c46efd97f8e6bc896fa648db6eda896b17031436cf37e3abbd22930839f0ff48d540e43eeddc46a0c496f49 DIST boogie.vcgeneration.3.2.5.nupkg 96524 BLAKE2B 6f1017d1ed7b87a36ad1e48d2ac4c1f950689e0d32d3ebea05fd58d0b3f41154289f85d70c9a8f4e713a9883924a420a6f760ceffc2fb7fb9a5be80146263fbe SHA512 800e4d2724abb01683fcb6866c68c02036c52e6af168faa1e3d30416c841bc5e2e5536843d0c6429fcb31eb4fc0b6c0c02ddf6adf67e8ca22438a20de597d868 DIST castle.core.4.4.0.nupkg 916004 BLAKE2B 7404f946c140bc4c22132282a4a12694328bac2f37f3cae06c595076068dbedc808465e352f083450cea3e3869698f91b7a5b2b55c08f29f4a9feba7f15abf74 SHA512 7626c347f82038bc29b0b2ae399937047aead260ed85ff8c107d36adbe901d729be59cd89a5f98ef45da2d1883c8374b6f286c81c044a5a2b69ab4b5dde9ce98 DIST commandlineparser.2.8.0.nupkg 475554 BLAKE2B e55eda3a96441169220e5b081f432d8445d719cbcf8e86527920d44085e6e97934e20aa0266bc5dbdc16ba1a6daa6ece55bc2c63266c9d733ab4992f2fe3e0a1 SHA512 8c276513dfe91e5bc72cfb3b96a0d24411ee3bd2e9832d423f6ade3f3964a011dbb977ca90601750fa133a0a25fe72f66955be7f69a72f5d6b73c7f313094b5f DIST commandlineparser.2.9.1.nupkg 496069 BLAKE2B e2c4b38841f83d6bc10432b8055af90369f1fe0a10105a58b51b44cd48e5d84cb0b5e4b19f444d8c81b38646a62c7c4d11cbd710e92fea68be3ebea6ab98e3f1 SHA512 4f364e45c9668c7e7cc6a922b488f3fa523033c20d7a432694f0a6af05ce528ea0481d8375e2f4f1032c6990347b4803ce9a0e48068c6fe15ec46fb1254f085d DIST coverlet.collector.3.2.0.nupkg 2209480 BLAKE2B 175bcfcb9d6e5177d44f2d607f2411cbe77d6009d096bbc84372e33d7be972d3e39ec39d7f2669b4b91f4bcf44f6ddd46bc91541c0cc4843426e2dd1073bf5c2 SHA512 b63d02a5d3233805b42f0b8cc76f40c8d9f5a0117beb6bdb2ab147f5521bb99919b29d51ff91767ce0bfcab92d25fc8fe794133cadc60da3e009ae18d10fc920 -DIST dafny-4.7.0.tar.gz 6538682 BLAKE2B 92597a70055ab599bdc8495de9e00a441112098b990372d40515cafc191fff0b63e835aad0a94fdef363436ea06e012dfdfca76ade5b7271386a0293a9471729 SHA512 4fca7fab490df1a075c70f4c2b3f62d77c7194224b34de954e5195477b08f30d4ec9562defa9dc3756039b217bf758f86d212f4c71a644ac43069d829d5b2eb2 DIST dafny-4.8.0.tar.gz 6615281 BLAKE2B d891a1955554b194e7af231eff9368549bd2686b43dc1aca8034df4502b7b57297a8384db990ca3268bf992ce2ea562d02d936617b0788a58705d2b0cd91aa98 SHA512 8194f2544b411e00874b174ae4036d6ff21e516e342b3ddd9bc00e70a8140037e5a35f10ef797336b1d4f471ea1596829f0d5446d6a93e436690753dc9b19a31 DIST dafny-4.8.1.tar.gz 6693520 BLAKE2B 4cceaba7aec5809c6f714bc5f79fd92656ec0c30e9188aecb5d153575ab06a244fbc248f91ae64e2e1e9ea15914ebc408ebf2ce197edeac8e021770499d3779f SHA512 cfbeb9d36ee9f63c703048fb8497a54df040d96a3e9d5ee208bb2f6a0795416e49b34ec08052f568b7c50d0a892dc6139c01a2310adbd63d347ddec61c79b56b DIST diffplex.1.7.0.nupkg 69699 BLAKE2B 9c7d6eab09e7df1d791183bbfc4cc46b7bea8dd4b5d09fd3e7e3dc1734e6a8973f92a34387e1a2a0e3a4cbf11ffb89f8138844b2b46d2e94010932ed47158911 SHA512 a0f7a30c59889d71eba97db9bda2efbf1b458ca439d129b52ba3eae32626325e73ec13d46018603a81a33cf18a25a5b08a1b2e6a89c7e716faa47eb9db6d6474 @@ -381,7 +367,6 @@ DIST xunit.extensibility.execution.2.4.2.nupkg 353652 BLAKE2B f10e20d43b8030f51c DIST xunit.runner.visualstudio.2.4.3.nupkg 809588 BLAKE2B ce18ac895657d1efa9752e44148812a452401fa06eba913dad716cfd6743d85a09ffbc0be52276a4b90d039ab76077cca7ab5316b73009aeff2b2fe77dc465f1 SHA512 d8b0d124425db24f98335b332fe55e1a08b39af55d8834dd4a2717fd4be45f3a06ae6cb16427a17adfb31e215dab622856152bb2da715acb1946ec9e935299f4 DIST xunit.runner.visualstudio.2.5.1.nupkg 348549 BLAKE2B 530ffc6b699a1589ad6a7fb5aa826d7238b63ea8dcd13ce5705a3d29a0ba70edeac2d9950cd1a00a13a779add761e4e14335689051a43b4cd662a330734e4df7 SHA512 0cc7887e7c7c3315db31aab79df236db9b5542e0234c27543dd5b11cf917674a8fdebc384e7331663b08d586fcf20628479a20ad7edbed4e61667903e812c6f0 DIST xunit.skippablefact.1.4.8.nupkg 44542 BLAKE2B 3c9b09d5196e8901770099b2e5078d9373e8ebc2da058a9071707d6fee56eab7c876578734f3be5b088db6ae83c8ad81a3aadfcab38e1fd2b28bd25601fe5463 SHA512 a2c680223bda4f9bfdbd751c8d6a5319e0a4611533272860ca0a396b26c473a13065301a5d8973074ea2bb5119caaeec5a67d547a96ae5d762dc09f337f51ad1 -EBUILD dafny-4.7.0.ebuild 20968 BLAKE2B dcb3e0ad327528a7daedfef62e523404baed4a17b34d65ea1f812b9052a67e94b8df29d65946c643c11872c4e09229bc8de46013ab2ee4691cc90159d91d9167 SHA512 cd830820563c61d7c6e4a0a88dab3a819e3b48d5133fa4e00e88fcba5b50a9ce6093406060f6315531322112cffd03e6aba4ce86bf1f447419d4e0a1671421ae EBUILD dafny-4.8.0.ebuild 21074 BLAKE2B ae75f8deabcaed465b401bbe50c014c00e9ce52ed64d129a84535e55042edae0a544df365824b2c441287577a6217cf7aac4fe4c1e1220add3a316b91bd4e890 SHA512 48dab85d2abf5f502cdaa139045eb75aa40c51f3a211b2a28523c08729c55d0cb99502bc2f16ce8b8370085f228accd2464e84389dcdcba7bf09d419888b1c4e EBUILD dafny-4.8.1.ebuild 21139 BLAKE2B 3f3638a3c33ae3aa115ffb38aad8f3ee8a23a17d0c82a9a23dbb71e089577645bb4a9d06cd42c43aa708276395cea3992b0d2ef2de2d39e950e93faa4f21749c SHA512 2fb1c49147e23acb8bf396ce675361a888d2313772c925cec2d94849ce1bf71e3148589ae45adfdd6cdb7bc009c393300c89a4a3269bc38e590d7b92db519f0a MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e diff --git a/dev-lang/dafny/dafny-4.7.0.ebuild b/dev-lang/dafny/dafny-4.7.0.ebuild deleted file mode 100644 index 9b156ca74c80..000000000000 --- a/dev-lang/dafny/dafny-4.7.0.ebuild +++ /dev/null @@ -1,665 +0,0 @@ -# Copyright 1999-2024 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -PYTHON_COMPAT=( python3_{10..13} ) - -DOTNET_PKG_COMPAT=6.0 -NUGETS=" -boogie.abstractinterpretation@3.1.6 -boogie.basetypes@3.1.6 -boogie.codecontractsextender@3.1.6 -boogie.concurrency@3.1.6 -boogie.core@3.1.6 -boogie.executionengine@3.1.6 -boogie.graph@3.1.6 -boogie.houdini@3.1.6 -boogie.model@3.1.6 -boogie.provers.leanauto@3.1.6 -boogie.provers.smtlib@3.1.6 -boogie.vcexpr@3.1.6 -boogie.vcgeneration@3.1.6 -castle.core@4.4.0 -commandlineparser@2.8.0 -commandlineparser@2.9.1 -coverlet.collector@3.2.0 -diffplex@1.7.0 -humanizer.core@2.2.0 -jetbrains.annotations@2021.1.0 -mediatr@8.1.0 -microsoft.bcl.asyncinterfaces@1.1.1 -microsoft.bcl.asyncinterfaces@5.0.0 -microsoft.bcl.asyncinterfaces@6.0.0 -microsoft.build.framework@17.0.0 -microsoft.build.locator@1.4.1 -microsoft.build.tasks.core@17.0.0 -microsoft.build.utilities.core@17.0.0 -microsoft.build@17.0.0 -microsoft.codeanalysis.analyzers@3.0.0 -microsoft.codeanalysis.analyzers@3.3.2 -microsoft.codeanalysis.common@3.7.0 -microsoft.codeanalysis.common@4.0.1 -microsoft.codeanalysis.csharp.workspaces@4.0.1 -microsoft.codeanalysis.csharp@3.7.0 -microsoft.codeanalysis.csharp@4.0.1 -microsoft.codeanalysis.visualbasic.workspaces@4.0.1 -microsoft.codeanalysis.visualbasic@4.0.1 -microsoft.codeanalysis.workspaces.common@4.0.1 -microsoft.codeanalysis.workspaces.msbuild@4.0.1 -microsoft.codeanalysis@4.0.1 -microsoft.codecoverage@16.11.0 -microsoft.codecoverage@16.9.4 -microsoft.codecoverage@17.1.0 -microsoft.csharp@4.0.1 -microsoft.dotnet.platformabstractions@2.0.4 -microsoft.extensions.configuration.abstractions@2.0.0 -microsoft.extensions.configuration.abstractions@5.0.0 -microsoft.extensions.configuration.binder@2.0.0 -microsoft.extensions.configuration.binder@5.0.0 -microsoft.extensions.configuration.commandline@5.0.0 -microsoft.extensions.configuration.fileextensions@5.0.0 -microsoft.extensions.configuration.json@5.0.0 -microsoft.extensions.configuration@2.0.0 -microsoft.extensions.configuration@5.0.0 -microsoft.extensions.dependencyinjection.abstractions@2.0.0 -microsoft.extensions.dependencyinjection.abstractions@5.0.0 -microsoft.extensions.dependencyinjection@2.0.0 -microsoft.extensions.dependencyinjection@5.0.0 -microsoft.extensions.dependencymodel@2.0.4 -microsoft.extensions.fileproviders.abstractions@5.0.0 -microsoft.extensions.fileproviders.physical@5.0.0 -microsoft.extensions.filesystemglobbing@5.0.0 -microsoft.extensions.logging.abstractions@2.0.0 -microsoft.extensions.logging.abstractions@5.0.0 -microsoft.extensions.logging.configuration@5.0.0 -microsoft.extensions.logging.console@5.0.0 -microsoft.extensions.logging@2.0.0 -microsoft.extensions.logging@5.0.0 -microsoft.extensions.options.configurationextensions@2.0.0 -microsoft.extensions.options.configurationextensions@5.0.0 -microsoft.extensions.options@2.0.0 -microsoft.extensions.options@5.0.0 -microsoft.extensions.primitives@2.0.0 -microsoft.extensions.primitives@5.0.0 -microsoft.net.stringtools@1.0.0 -microsoft.net.test.sdk@16.11.0 -microsoft.net.test.sdk@16.9.4 -microsoft.net.test.sdk@17.1.0 -microsoft.netcore.platforms@1.0.1 -microsoft.netcore.platforms@1.1.0 -microsoft.netcore.platforms@2.1.2 -microsoft.netcore.platforms@3.0.0 -microsoft.netcore.platforms@3.1.0 -microsoft.netcore.targets@1.0.1 -microsoft.netcore.targets@1.1.0 -microsoft.netframework.referenceassemblies.net452@1.0.2 -microsoft.netframework.referenceassemblies@1.0.2 -microsoft.testplatform.extensions.trxlogger@17.9.0 -microsoft.testplatform.objectmodel@16.11.0 -microsoft.testplatform.objectmodel@16.9.4 -microsoft.testplatform.objectmodel@17.1.0 -microsoft.testplatform.objectmodel@17.9.0 -microsoft.testplatform.testhost@16.11.0 -microsoft.testplatform.testhost@16.9.4 -microsoft.testplatform.testhost@17.1.0 -microsoft.testplatform.testhost@17.9.0 -microsoft.visualstudio.threading.analyzers@16.7.56 -microsoft.visualstudio.threading@16.7.56 -microsoft.visualstudio.validation@15.5.31 -microsoft.win32.primitives@4.3.0 -microsoft.win32.registry@4.3.0 -microsoft.win32.registry@4.6.0 -microsoft.win32.systemevents@4.7.0 -microsoft.win32.systemevents@6.0.0 -moq@4.16.1 -nerdbank.streams@2.6.81 -netstandard.library@1.6.1 -netstandard.library@2.0.3 -newtonsoft.json@11.0.2 -newtonsoft.json@13.0.1 -newtonsoft.json@9.0.1 -nuget.frameworks@5.0.0 -nuget.frameworks@5.11.0 -omnisharp.extensions.jsonrpc.generators@0.19.5 -omnisharp.extensions.jsonrpc.testing@0.19.5 -omnisharp.extensions.jsonrpc@0.19.5 -omnisharp.extensions.languageclient@0.19.5 -omnisharp.extensions.languageprotocol.testing@0.19.5 -omnisharp.extensions.languageprotocol@0.19.5 -omnisharp.extensions.languageserver.shared@0.19.5 -omnisharp.extensions.languageserver@0.19.5 -rangetree@3.0.1 -runtime.any.system.collections@4.3.0 -runtime.any.system.diagnostics.tools@4.3.0 -runtime.any.system.diagnostics.tracing@4.3.0 -runtime.any.system.globalization.calendars@4.3.0 -runtime.any.system.globalization@4.3.0 -runtime.any.system.io@4.3.0 -runtime.any.system.reflection.extensions@4.3.0 -runtime.any.system.reflection.primitives@4.3.0 -runtime.any.system.reflection@4.3.0 -runtime.any.system.resources.resourcemanager@4.3.0 -runtime.any.system.runtime.handles@4.3.0 -runtime.any.system.runtime.interopservices@4.3.0 -runtime.any.system.runtime@4.3.0 -runtime.any.system.text.encoding.extensions@4.3.0 -runtime.any.system.text.encoding@4.3.0 -runtime.any.system.threading.tasks@4.3.0 -runtime.any.system.threading.timer@4.3.0 -runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.native.system.io.compression@4.3.0 -runtime.native.system.net.http@4.3.0 -runtime.native.system.security.cryptography.apple@4.3.0 -runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.native.system@4.0.0 -runtime.native.system@4.3.0 -runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.osx.10.10-x64.runtime.native.system.security.cryptography.apple@4.3.0 -runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0 -runtime.unix.microsoft.win32.primitives@4.3.0 -runtime.unix.system.console@4.3.0 -runtime.unix.system.diagnostics.debug@4.3.0 -runtime.unix.system.io.filesystem@4.3.0 -runtime.unix.system.net.primitives@4.3.0 -runtime.unix.system.net.sockets@4.3.0 -runtime.unix.system.private.uri@4.3.0 -runtime.unix.system.runtime.extensions@4.3.0 -serilog.extensions.logging@3.0.1 -serilog.settings.configuration@3.1.0 -serilog.sinks.debug@2.0.0 -serilog.sinks.file@5.0.0 -serilog.sinks.inmemory@0.11.0 -serilog@2.12.0 -system.appcontext@4.1.0 -system.appcontext@4.3.0 -system.buffers@4.3.0 -system.buffers@4.4.0 -system.codedom@4.4.0 -system.collections.concurrent@4.3.0 -system.collections.immutable@1.5.0 -system.collections.immutable@1.7.0 -system.collections.immutable@1.7.1 -system.collections.immutable@5.0.0 -system.collections.nongeneric@4.3.0 -system.collections.specialized@4.3.0 -system.collections@4.0.11 -system.collections@4.3.0 -system.commandline@2.0.0-beta4.22272.1 -system.componentmodel.primitives@4.3.0 -system.componentmodel.typeconverter@4.3.0 -system.componentmodel@4.3.0 -system.composition.attributedmodel@1.0.31 -system.composition.convention@1.0.31 -system.composition.hosting@1.0.31 -system.composition.runtime@1.0.31 -system.composition.typedparts@1.0.31 -system.composition@1.0.31 -system.configuration.configurationmanager@4.7.0 -system.configuration.configurationmanager@6.0.0 -system.console@4.3.0 -system.diagnostics.debug@4.0.11 -system.diagnostics.debug@4.3.0 -system.diagnostics.diagnosticsource@4.3.0 -system.diagnostics.tools@4.0.1 -system.diagnostics.tools@4.3.0 -system.diagnostics.tracesource@4.3.0 -system.diagnostics.tracing@4.3.0 -system.drawing.common@4.7.0 -system.drawing.common@6.0.0 -system.dynamic.runtime@4.0.11 -system.dynamic.runtime@4.3.0 -system.globalization.calendars@4.3.0 -system.globalization.extensions@4.3.0 -system.globalization@4.0.11 -system.globalization@4.3.0 -system.io.compression.zipfile@4.3.0 -system.io.compression@4.3.0 -system.io.filesystem.primitives@4.0.1 -system.io.filesystem.primitives@4.3.0 -system.io.filesystem@4.0.1 -system.io.filesystem@4.3.0 -system.io.pipelines@4.7.3 -system.io.pipelines@5.0.1 -system.io@4.1.0 -system.io@4.3.0 -system.linq.async@6.0.1 -system.linq.expressions@4.1.0 -system.linq.expressions@4.3.0 -system.linq@4.1.0 -system.linq@4.3.0 -system.memory@4.5.3 -system.memory@4.5.4 -system.net.http@4.3.0 -system.net.nameresolution@4.3.0 -system.net.primitives@4.3.0 -system.net.sockets@4.3.0 -system.net.websockets@4.3.0 -system.numerics.vectors@4.4.0 -system.objectmodel@4.0.12 -system.objectmodel@4.3.0 -system.private.uri@4.3.0 -system.reactive@4.4.1 -system.reflection.emit.ilgeneration@4.0.1 -system.reflection.emit.ilgeneration@4.3.0 -system.reflection.emit.lightweight@4.0.1 -system.reflection.emit.lightweight@4.3.0 -system.reflection.emit@4.0.1 -system.reflection.emit@4.3.0 -system.reflection.extensions@4.0.1 -system.reflection.extensions@4.3.0 -system.reflection.metadata@1.6.0 -system.reflection.metadata@5.0.0 -system.reflection.primitives@4.0.1 -system.reflection.primitives@4.3.0 -system.reflection.typeextensions@4.1.0 -system.reflection.typeextensions@4.3.0 -system.reflection@4.1.0 -system.reflection@4.3.0 -system.resources.extensions@4.6.0 -system.resources.resourcemanager@4.0.1 -system.resources.resourcemanager@4.3.0 -system.runtime.caching@6.0.0 -system.runtime.compilerservices.unsafe@4.4.0 -system.runtime.compilerservices.unsafe@4.5.2 -system.runtime.compilerservices.unsafe@4.7.0 -system.runtime.compilerservices.unsafe@4.7.1 -system.runtime.compilerservices.unsafe@5.0.0 -system.runtime.extensions@4.1.0 -system.runtime.extensions@4.3.0 -system.runtime.handles@4.0.1 -system.runtime.handles@4.3.0 -system.runtime.interopservices.runtimeinformation@4.0.0 -system.runtime.interopservices.runtimeinformation@4.3.0 -system.runtime.interopservices@4.1.0 -system.runtime.interopservices@4.3.0 -system.runtime.numerics@4.3.0 -system.runtime.serialization.primitives@4.1.1 -system.runtime@4.1.0 -system.runtime@4.3.0 -system.security.accesscontrol@4.6.0 -system.security.accesscontrol@4.7.0 -system.security.accesscontrol@6.0.0 -system.security.claims@4.3.0 -system.security.cryptography.algorithms@4.3.0 -system.security.cryptography.cng@4.3.0 -system.security.cryptography.cng@4.7.0 -system.security.cryptography.csp@4.3.0 -system.security.cryptography.encoding@4.3.0 -system.security.cryptography.openssl@4.3.0 -system.security.cryptography.pkcs@4.7.0 -system.security.cryptography.primitives@4.3.0 -system.security.cryptography.protecteddata@4.7.0 -system.security.cryptography.protecteddata@6.0.0 -system.security.cryptography.x509certificates@4.3.0 -system.security.cryptography.xml@4.7.0 -system.security.permissions@4.7.0 -system.security.permissions@6.0.0 -system.security.principal.windows@4.3.0 -system.security.principal.windows@4.6.0 -system.security.principal.windows@4.7.0 -system.security.principal@4.3.0 -system.text.encoding.codepages@4.0.1 -system.text.encoding.codepages@4.5.1 -system.text.encoding.extensions@4.0.11 -system.text.encoding.extensions@4.3.0 -system.text.encoding@4.0.11 -system.text.encoding@4.3.0 -system.text.json@4.7.0 -system.text.json@5.0.2 -system.text.regularexpressions@4.1.0 -system.text.regularexpressions@4.3.0 -system.threading.channels@4.7.1 -system.threading.tasks.dataflow@4.9.0 -system.threading.tasks.extensions@4.0.0 -system.threading.tasks.extensions@4.3.0 -system.threading.tasks.extensions@4.5.3 -system.threading.tasks.extensions@4.5.4 -system.threading.tasks@4.0.11 -system.threading.tasks@4.3.0 -system.threading.threadpool@4.3.0 -system.threading.timer@4.3.0 -system.threading@4.0.11 -system.threading@4.3.0 -system.windows.extensions@4.7.0 -system.windows.extensions@6.0.0 -system.xml.readerwriter@4.0.11 -system.xml.readerwriter@4.3.0 -system.xml.xdocument@4.0.11 -system.xml.xdocument@4.3.0 -system.xml.xmldocument@4.3.0 -tomlyn@0.16.2 -validation@2.4.18 -xunit.abstractions@2.0.2 -xunit.abstractions@2.0.3 -xunit.analyzers@0.10.0 -xunit.analyzers@1.0.0 -xunit.assert@2.4.1 -xunit.assert@2.4.2 -xunit.assertmessages@2.4.0 -xunit.core@2.4.1 -xunit.core@2.4.2 -xunit.extensibility.core@2.4.0 -xunit.extensibility.core@2.4.1 -xunit.extensibility.core@2.4.2 -xunit.extensibility.execution@2.4.0 -xunit.extensibility.execution@2.4.1 -xunit.extensibility.execution@2.4.2 -xunit.runner.visualstudio@2.4.3 -xunit.runner.visualstudio@2.5.1 -xunit.skippablefact@1.4.8 -xunit@2.4.1 -xunit@2.4.2 -" - -inherit check-reqs dotnet-pkg edo java-pkg-2 multiprocessing python-any-r1 optfeature - -DESCRIPTION="Dafny is a verification-aware programming language" -HOMEPAGE="https://dafny.org/ - https://github.com/dafny-lang/dafny/" - -if [[ "${PV}" == *9999* ]] ; then - inherit git-r3 - - EGIT_REPO_URI="https://github.com/dafny-lang/${PN}.git" -else - SRC_URI="https://github.com/dafny-lang/${PN}/archive/v${PV}.tar.gz - -> ${P}.tar.gz" - - KEYWORDS="amd64" -fi - -SRC_URI+=" - ${NUGET_URIS} - test? ( https://registry.npmjs.org/bignumber.js/-/bignumber.js-9.1.2.tgz ) -" - -LICENSE="MIT" -SLOT="0" -IUSE="test" -RESTRICT="!test? ( test )" - -RDEPEND=" - !dev-lang/dafny-bin - >=virtual/jre-1.8:* - sci-mathematics/z3 -" -DEPEND=" - >=virtual/jdk-1.8:* -" -BDEPEND=" - ${RDEPEND} - dev-dotnet/coco - test? ( - ${PYTHON_DEPS} - >=dev-lang/boogie-3.1.6 - dev-go/go-tools - dev-lang/go - dev-python/OutputCheck - dev-python/lit - dev-python/psutil - net-libs/nodejs[npm] - ) -" - -CHECKREQS_DISK_BUILD="2G" -DOTNET_PKG_PROJECTS=( "${S}/Source/Dafny/Dafny.csproj" ) - -PATCHES=( - "${FILESDIR}/${PN}-3.12.0-DafnyCore-csproj.patch" - "${FILESDIR}/${PN}-3.12.0-DafnyRuntime-csproj.patch" - "${FILESDIR}/${PN}-4.5.0-lit-config.patch" -) - -DOCS=( - CODE_OF_CONDUCT.md - CONTRIBUTING.md - NOTICES.txt - README.md - RELEASE_NOTES.md - docs/DafnyCheatsheet.pdf - docs/DafnyRef/out/DafnyRef.pdf -) - -TEST_S="${S}/Source/IntegrationTests/TestFiles/LitTests/LitTest" - -pkg_setup() { - # Clean the environment. - unset NPM_CONFIG_USERCONFIG - - if [[ -n "${_JAVA_OPTIONS}" ]] ; then - ewarn "Cleaning _JAVA_OPTIONS because when set compile and test may fail" - - unset _JAVA_OPTIONS - fi - - check-reqs_pkg_setup - dotnet-pkg_pkg_setup - java-pkg-2_pkg_setup - - # We need to set up Python only for running test tools (called via lit). - if use test ; then - python-any-r1_pkg_setup - fi -} - -src_unpack() { - # Unpack manually to skip additional archives, eg "bignumber.js". - - nuget_link-system-nugets - nuget_link-nuget-archives - - if [[ -n "${EGIT_REPO_URI}" ]] ; then - git-r3_src_unpack - else - unpack "${P}.tar.gz" - fi -} - -src_prepare() { - # Using "for-each-compiler" will fail because of Cargo requiring network access. - while read -r test_file ; do - if grep "// RUN: %testDafnyForEachCompiler" "${test_file}" >/dev/null ; then - rm "${test_file}" || die "failed to remove test ${bad_test}" - fi - done < <(find "${TEST_S}" -type f -name "*.dfy") - - # Remove bad tests (recursive). - local -a bad_tests=( - # Unsupported test build (and those that need network access): - comp/rust - - # Following tests fail: - VSComp2010/Problem2-Invert.dfy - ast/function.dfy - auditor/TestAuditor.dfy - benchmarks/sequence-race/SequenceRace.dfy - c++/extern.dfy - c++/functions.dfy - c++/tuple.dfy - cli/projectFile/projectFile.dfy - cli/runArgument.dfy - comp/CoverageReport.dfy - comp/Libraries/consumer.dfy - concurrency/06-ThreadOwnership.dfy - dafny0/Fuel.legacy.dfy - dafny0/Stdin.dfy - dafny1/MoreInduction.dfy - dafny4/Lucas-up.legacy.dfy - dafny4/Primes.dfy - doofiles/allowWarningsDoo.dfy - doofiles/semanticOptions.dfy - doofiles/standardLibraryOptionMismatch.dfy - examples/Simple_compiler/Compiler.dfy - exports/ExportRefinement.dfy - exports/IncludeSkipTranslate.dfy - git-issues/git-issue-2026.dfy - git-issues/git-issue-2299.dfy - git-issues/git-issue-2301.dfy - git-issues/git-issue-3855.dfy - git-issues/git-issue-505.dfy - gomodule/multimodule/DerivedModule.dfy - gomodule/singlemodule/dafnysource/helloworld.dfy - lambdas/MatrixAssoc.dfy - metatests/InconsistentCompilerBehavior.dfy - metatests/TestBeyondVerifierExpect.dfy - pythonmodule/multimodule/DerivedModule.dfy - pythonmodule/nestedmodule/SomeTestModule.dfy - pythonmodule/singlemodule/dafnysource/helloworld.dfy - separate-verification/assumptions.dfy - server/counterexample_none.transcript - triggers/emptyTrigger.dfy - unicodecharsFalse/DafnyTests/RunAllTestsOption.dfy - unicodecharsFalse/comp/Print.dfy - verification/isolate-assertions.dfy - verification/outOfResourceAndIsolateAssertions.dfy - verification/progress.dfy - vstte2012/Combinators.dfy - wishlist/exists-b-exists-not-b.dfy - - # Following tests are very slow: - DafnyTests/RunAllTests/RunAllTestsOption.dfy - VSI-Benchmarks/b4.dfy - blogposts/TestGenerationNoInliningEnumerativeDefinitions.dfy - comp/BranchCoverage.dfy - comp/CompileWithArguments.dfy - comp/Extern.dfy - comp/ExternCtors.dfy - comp/MainMethod.dfy - comp/Print.dfy - comp/SequenceConcatOptimization.dfy - comp/compile1quiet/CompileRunQuietly.dfy - comp/compile1verbose/CompileAndThenRun.dfy - comp/compile3/JustRun.dfy - comp/manualcompile/ManualCompile.dfy - comp/replaceables/complex/user.dfy - comp/rust/strings.dfy - concurrency/07-CounterThreadOwnership.dfy - concurrency/08-CounterNoTermination.dfy - concurrency/09-CounterNoStateMachine.dfy - concurrency/10-SequenceInvariant.dfy - concurrency/12-MutexLifetime-short.dfy - dafny0/ModuleInsertion.dfy - dafny0/NoTypeArgs.dfy - dafny0/RlimitMultiplier.dfy - dafny1/ExtensibleArray.dfy - dafny1/ExtensibleArrayAuto.dfy - dafny1/SchorrWaite.dfy - dafny2/SnapshotableTrees.dfy - dafny4/git-issue250.dfy - git-issues/git-issue-Main4.dfy - git-issues/git-issue-MainE.dfy - separate-verification/app.dfy - unicodecharsFalse/comp/CompileWithArguments.dfy - unicodecharsFalse/expectations/Expect.dfy - unicodecharsFalse/expectations/ExpectAndExceptions.dfy - unicodecharsFalse/expectations/ExpectWithNonStringMessage.dfy - verification/filter.dfy - ) - local bad_test - for bad_test in "${bad_tests[@]}" ; do - if [[ -e "${TEST_S}/${bad_test}" ]] ; then - rm -r "${TEST_S}/${bad_test}" || die "failed to remove test ${bad_test}" - else - ewarn "Test file ${bad_test} does not exist" - fi - done - - dotnet-pkg_src_prepare - - # Update lit's "lit.site.cfg" file. - local dotnet_exec="${DOTNET_PKG_EXECUTABLE} exec ${DOTNET_PKG_OUTPUT}" - local lit_config="${TEST_S}/lit.site.cfg" - - sed -i "${lit_config}" \ - -e "/^defaultDafnyExecutable/s|=.*|= '${dotnet_exec}/Dafny.dll '|" \ - -e "/^dafnyExecutable/s|=.*|= '${dotnet_exec}/Dafny.dll '|" \ - -e "/^defaultServerExecutable/s|=.*|= '${dotnet_exec}/DafnyServer.dll'|" \ - -e "/^serverExecutable/s|=.*|= '${dotnet_exec}/DafnyServer.dll'|" \ - -e "s|dotnet run |${DOTNET_PKG_EXECUTABLE} run |g" \ - || die "failed to update ${lit_config}" -} - -src_compile () { - einfo "Building DafnyRuntimeJava JAR." - local dafny_runtime_java="${S}/Source/DafnyRuntime/DafnyRuntimeJava" - mkdir -p "${dafny_runtime_java}/build/libs/" || die - pushd "${dafny_runtime_java}/build" || die - - ejavac -d ./ $(find "${dafny_runtime_java}/src/main" -type f -name "*.java") - edo jar cvf "DafnyRuntime-4.6.0.jar" dafny/* - - cp "DafnyRuntime-4.6.0.jar" "${dafny_runtime_java}/build/libs/" || die - popd || die - - # Build main dotnet package. - dotnet-pkg_src_compile - - if use test ; then - # Build "TestDafny" without saving artifacts. - edotnet build \ - --configuration Debug \ - --no-self-contained \ - -maxCpuCount:$(makeopts_jobs) \ - "${S}/Source/TestDafny/TestDafny.csproj" - fi -} - -src_test() { - # Dafny GOLang transpiler tests need "goimports" from "/usr/lib/go/bin". - local -x PATH="${EPREFIX}/usr/lib/go/bin:${PATH}" - - einfo "Installing bignumber.js package required for tests using NodeJS." - local -a npm_opts=( - --audit false - --color false - --foreground-scripts - --offline - --progress false - --verbose - ) - edob npm "${npm_opts[@]}" install "${DISTDIR}/bignumber.js-9.1.2.tgz" - - einfo "Starting tests using the lit test tool." - local -a lit_opts=( - --order=lexical - --time-tests - --timeout 1800 # Let one test take no mere than half a hour. - --verbose - --workers="$(makeopts_jobs)" - ) - edo lit "${lit_opts[@]}" "${TEST_S}" -} - -src_install() { - dotnet-pkg-base_install - - local -a dafny_exes=( - Dafny - DafnyDriver - DafnyLanguageServer - DafnyServer - TestDafny - ) - local dafny_exe - for dafny_exe in "${dafny_exes[@]}" ; do - dotnet-pkg-base_dolauncher "/usr/share/${P}/${dafny_exe}" "${dafny_exe}" - done - - dosym -r /usr/bin/Dafny /usr/bin/dafny - dosym -r /usr/bin/DafnyServer /usr/bin/dafny-server - - einstalldocs -} - -pkg_postinst() { - optfeature "Dafny GO language backend" dev-go/go-tools - optfeature "Dafny Rust language backend" virtual/rust -} diff --git a/dev-lang/rust-bin/Manifest b/dev-lang/rust-bin/Manifest index b8cd89718266..de552bddb112 100644 --- a/dev-lang/rust-bin/Manifest +++ b/dev-lang/rust-bin/Manifest @@ -282,6 +282,6 @@ EBUILD rust-bin-1.75.0.ebuild 7319 BLAKE2B 6d651ee302620a28e8c9312af50eacb4638b5 EBUILD rust-bin-1.77.1.ebuild 7497 BLAKE2B fb9a25879a8886086486ba5e2010021c01e16ea2c525bf3d36d23e72c7a24eb6f196fd96d3d29231070f5a1db807865e135915224d37eebdffdf485ecc4ca83f SHA512 7ae2fb17a2fcd2d76ae85d1b0420429544a005e2c5ce1cd18a5351353b840d4048d491a316a7a97197198045f4af5f98681b4fa7b5b47df060e0ea6112b3512f EBUILD rust-bin-1.79.0.ebuild 7604 BLAKE2B 99c532442ff6e40c70a391d777122c32deec8ba8cf45f19d1abdf8e19f75a8776c9741ef54915995e24a646ff94b6e7ed76b2d27ac6631645179109915903d90 SHA512 b64087f5de9753a1476ec0ab72151309e75f4aa847ef0556bff0848a15b473fbb0a535ef1e957d19c92f416ad159d519c97764eb55802fc0c466930002e7e671 EBUILD rust-bin-1.80.1.ebuild 7813 BLAKE2B 188d7efcdd2e6a0b688de4520db2d179f91bd51ff2a8191b44a5d5cb8be12f668a47cff5035c22b3cab7b00f5043f622b2fa0d80bb642aa1403faa10bb362f4b SHA512 8e53e1c781196eca1b2488602b2a3f2c81ff82a7bdd0a09836783c1fa82e4c34f2d073274186eb57683741d8bc69b870bd9921aeee31a29a8717e1350e3d6e03 -EBUILD rust-bin-1.81.0.ebuild 7592 BLAKE2B f53313c3a693f1cf4249e894370e4635a3c958f26d6cdeb5fa9477d4c31019084b2d07e4a5338f3dcb917000a7722e2bff5fe69f00a3d695fc06270cd01c5167 SHA512 3ad89e9b212619f3c68157362f63880268c7a975cee63fac3e0d6de3a978f3b9c09583f820ae53ce289dee573ad55438db4c522ed2ce55932c1e6a2e2484d157 +EBUILD rust-bin-1.81.0.ebuild 7590 BLAKE2B d32f2083b8b47b80392ac9bc39144f5b770aad27a0968149ea0db99c93dfe6065c69c8ee2b1d67d2b069f841260d057b1f2a6035eb3639100dd7ae0a096635b1 SHA512 dcc3962a9948becd5c7175e43084b7c06aaf4d080b1061bf636fd52e82f9ac6ffe8e858ff19ef09672e0234799fc8e7fcc879a9f9669aa1abeab4ae47a2776e0 EBUILD rust-bin-1.82.0.ebuild 7624 BLAKE2B 2706be9714c3f62fb9c18d176ab3abc31dce8305cdc137e7d63cf616ea0a7315d4988659ddd10f67dec9c732cf17aec623df9a7c0781f2baf73d4db24689834c SHA512 0ce02301710e059bcca5e6f079ead6a9e9f5642f3fa6a6713615c68f0d0c65dd1b509d65a372cc64d9022287d41a0558a8632d026e4664d0429a9210e527291b MISC metadata.xml 1220 BLAKE2B 5c4d286e569c929913317d15d37de08db51655ec41c1d3b1d84aeb6982b53afd7ebf3f9adbcd4e3c76fc9b82056648b6af1507a5728388fd2d2e8d743e5225db SHA512 72d32987894268a7b3ac8e8606428cf8315fcf29ce1945c9e55527a5c696742f6f2a44dcfe01bf5abb0cad60b5881a59dedecdc07db4ef2df22ef13e3b2732a8 diff --git a/dev-lang/rust-bin/rust-bin-1.81.0.ebuild b/dev-lang/rust-bin/rust-bin-1.81.0.ebuild index 1177c0224932..b0b1d51bb754 100644 --- a/dev-lang/rust-bin/rust-bin-1.81.0.ebuild +++ b/dev-lang/rust-bin/rust-bin-1.81.0.ebuild @@ -37,7 +37,7 @@ SRC_URI+=" ppc64? ( elibc_musl? ( LICENSE="|| ( MIT Apache-2.0 ) BSD BSD-1 BSD-2 BSD-4" SLOT="stable" -KEYWORDS="amd64 arm arm64 ~loong ~mips ~ppc ~ppc64 ~riscv ~s390 ~sparc x86" +KEYWORDS="amd64 arm arm64 ~loong ~mips ppc ppc64 ~riscv ~s390 ~sparc x86" IUSE="big-endian clippy cpu_flags_x86_sse2 doc prefix rust-analyzer rust-src rustfmt" RDEPEND=" diff --git a/dev-lang/rust/Manifest b/dev-lang/rust/Manifest index bd05ab2b709b..a44e465a1215 100644 --- a/dev-lang/rust/Manifest +++ b/dev-lang/rust/Manifest @@ -265,6 +265,6 @@ EBUILD rust-1.75.0-r1.ebuild 25282 BLAKE2B eebe5ea3b922221821b6dba77dea369248e5c EBUILD rust-1.77.1.ebuild 25245 BLAKE2B d514569674cc230e4959a9e73d38f14b263dac22fa7ec3f91c417d142caf65f5920ab44bc28e0e23c32bc7113f73c1b27fbf74a82215e35c33dd97ac4b3f2ee4 SHA512 b36d066101a248f31560fd7db39f9367e42618ba882c43df3807fc70823ec319365096623e2d41dd37a9babd83d2d55c007145ae7185a1818bd926783ad3eb5c EBUILD rust-1.79.0.ebuild 25480 BLAKE2B d2087cce728db5d5383e324476ba5380f95776d0d4742917742d9bd332b643c498f7a30ae32045d44a7aaeba7f235a614add12aa739765e4c308a02027ef02b4 SHA512 04ca9c5dcf088a0398ab05a39eb77119dd495248217fffe7451736cdee3c3ab1a274a54c4b6257384d39678cc87102d3e2ea3f0dcb40cbd657a0e07b7b93eaac EBUILD rust-1.80.1.ebuild 25412 BLAKE2B 4905111b95c2710d39f414f7eb645a5906e24258608a3fd4b3e4d160846ca0a546a113474079ff8772012469bda7d7b915dc3de0ebd7c3f8038df3e35ef5efe2 SHA512 e10c2e029100faa54caec1fe98fb19c23c8b06a1f6b1a52b899eb1761945e7de1a835e4aa2526c060b952cd12d52f70a28118bff80d2ba51053cf88eef460dde -EBUILD rust-1.81.0.ebuild 25383 BLAKE2B baadb56b505b08385e8bf8f1acb9d48f5bdcbbe7b09bb217b0f99d5be9ccbf37f59bc2824db2d526212f2d18039cb01748b87c958e1e584e5ca5d3425de5c249 SHA512 18f508d9be64e08e1ec98329dc3b0850f09ffdbf19bba525c41dee1499e8e3b713f1ef81f921aa8b53bbd8985dd3df775a4940504b1db850382996d7f05fc203 +EBUILD rust-1.81.0.ebuild 25381 BLAKE2B e45b514d61e50bba2871fdd0a39678e1474706e6179e36be0438828ed54adae65c46a0e3c97b34e550a483ae9757984cd45ddc7deb1398070673c55ba11fdfa0 SHA512 7b3feff25a1c05218c45b0280770b30493e8b5e59561099c46466f71abf5a7bb1151bca190bc38a849dc1372c974cdfd20f34d322f4a4a8d13deea78bee48e26 EBUILD rust-1.82.0.ebuild 25283 BLAKE2B a8044dca91c1bcf720bccc7b4ad4e96f4087cca3e5d1ecf7f1c96cedd5994f50b48f9f90e46de15f3cacc38eacd026f7a325392eb5129038d0c5c65c8901dd9d SHA512 060308b026d5a4d2cca73f28dc323070fdc58218d656ff60a69a4daad78768c137a21db9a4ee29d20209d776dc887721f7e6557e2b7569e38344b28cc485e33f MISC metadata.xml 1945 BLAKE2B cf3ed0b2550564faee94e53e21deb0e905b38cd45c503ba18f55c36f13093fa65c4dac8e544c891c9378b2ce32912cab1a1a0b61a277ff29f5288b672f4a218d SHA512 a28dc5b78e15aaeec5ccf028a053c3df6a12b24bcfb6e8948e2e25b3c04cc8ede5973f1e57c723081355853152baa8c8219e36bb603b714628e71587d2bba45e diff --git a/dev-lang/rust/rust-1.81.0.ebuild b/dev-lang/rust/rust-1.81.0.ebuild index ac68dcd023cc..08c94e1d230f 100644 --- a/dev-lang/rust/rust-1.81.0.ebuild +++ b/dev-lang/rust/rust-1.81.0.ebuild @@ -19,7 +19,7 @@ else SLOT="stable/${ABI_VER}" MY_P="rustc-${PV}" SRC="${MY_P}-src.tar.xz" - KEYWORDS="amd64 arm arm64 ~loong ~mips ~ppc ~ppc64 ~riscv ~sparc x86" + KEYWORDS="amd64 arm arm64 ~loong ~mips ppc ppc64 ~riscv ~sparc x86" fi RUST_STAGE0_VERSION="1.$(($(ver_cut 2) - 1)).1" diff --git a/dev-lang/spidermonkey/Manifest b/dev-lang/spidermonkey/Manifest index 98d5c42d1454..fc31aa0e6214 100644 --- a/dev-lang/spidermonkey/Manifest +++ b/dev-lang/spidermonkey/Manifest @@ -18,5 +18,5 @@ EBUILD spidermonkey-102.15.0.ebuild 15624 BLAKE2B a10e3fb8fcbc0f0016778a3c5bb1ca EBUILD spidermonkey-115.13.0.ebuild 13974 BLAKE2B 40e43ac67750de9928dd01e5cd5396a7e8a90a4ed284ac76fb4693351167a97ba48c6b717951fd7d8d82d4f1482d4b897e7c81d7b0026bb3a0ac821ba1bb2f2b SHA512 e828e1fad89c36a131a9f94cf738f547b93a69e4251e442209761409c9c3e4b71d075e56544584e629c1ec4289e566f783eccfd1cb8a1e07b516a7b40ea10951 EBUILD spidermonkey-115.15.0.ebuild 13974 BLAKE2B bb76ac54f09fdcc49b66b40a686135bd59752cd38ca33cddae2f7086bdd0b6cffd9632683bd0902d9ae4c2ad78033b28d267ce26bf320df6fbb0db997ec594ac SHA512 f3e73ae781b93da19f609b635a95017f6cb29e6c5bc0ea04279f90921a6ce27494e3c13d7399ede82fceb285f13e0d297b3a317238313c80047f1dc6add50f07 EBUILD spidermonkey-115.16.0.ebuild 13974 BLAKE2B b0c81ccce01039e5f3f132acce264256d170fe961792cd7c4ea3a873176997ba089ae123bbe7e081f1254963bd756d2797c3542073ce989832d430fba3d9ba64 SHA512 7ce3293fd70b54bf80795d8a9fdc271be9e8eeeb67debf8b98b0352236b24b082c85dd208d2d83728bff1139021156fc009552bbe0d0a07551cf01fe6a2753bd -EBUILD spidermonkey-128.3.0.ebuild 14001 BLAKE2B c265dfa73050fae4ac37cfaafe203d825e3f4d357834dfaa47cb2461c8bacf52dd3c3a04ea3602858f1e05ac263ad67cd8e65288061ff2a5456e57034dfa1dd0 SHA512 2953c3e0d2ede6efba17f215e29544e4dda0ce92c94d56397b534b70f77c1deb4b5f18b968e1f7d6b9c0627c4362604209376559d1505ac70633733548ab4ca4 +EBUILD spidermonkey-128.3.0.ebuild 14004 BLAKE2B adebce798253690c8a54312629fef6da2749a7a2f742c3fcc414b712b8c1b9c50d78514df1829e2d3e58cbfa692e911418459d3d70e48de584817d2bb846c02d SHA512 eef1fcbacf991e224a3f1b3345beac3c8473053e907d99d5fe46c0bd9aa93f1000caab80fe2f91a34f184e73279312fb27f28ea82f39f6416cd00efa9ac16035 MISC metadata.xml 513 BLAKE2B 58ffd474492f03c16bda95e48511fb6281e03067d2ad77e994f8117345ecece5da9591dccedafe75b037d98e06851a3759caa4b993adc2910dbb76e1c01a7fa3 SHA512 1ee02bff37e2dabbd72b7f719463b12299270c7960b4cf5a92afab17c954c50e6acb826d4a91db4954fb4a7b0f8669988f2cdb5be991df90e3a605c6b35fdbfb diff --git a/dev-lang/spidermonkey/spidermonkey-128.3.0.ebuild b/dev-lang/spidermonkey/spidermonkey-128.3.0.ebuild index ace5c085516c..77e9e3247dbd 100644 --- a/dev-lang/spidermonkey/spidermonkey-128.3.0.ebuild +++ b/dev-lang/spidermonkey/spidermonkey-128.3.0.ebuild @@ -6,7 +6,7 @@ EAPI="8" FIREFOX_PATCHSET="firefox-128esr-patches-03.tar.xz" SPIDERMONKEY_PATCHSET="spidermonkey-128-patches-02.tar.xz" -LLVM_COMPAT=( 17 18 ) +LLVM_COMPAT=( 17 18 19 ) PYTHON_COMPAT=( python3_{10..12} ) PYTHON_REQ_USE="ncurses,ssl,xml(+)" |