From 4464bf26d93bdcc80e0b1330fe9c9caef26b34fc Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 9 Mar 2024 01:07:53 +0000 Subject: gentoo auto-resync : 09:03:2024 - 01:07:53 --- dev-lang/Manifest.gz | Bin 21848 -> 21851 bytes dev-lang/boogie/Manifest | 4 +- dev-lang/boogie/boogie-3.0.10.ebuild | 301 ------------------------- dev-lang/boogie/boogie-3.1.2.ebuild | 301 +++++++++++++++++++++++++ dev-lang/python/Manifest | 36 +-- dev-lang/python/python-2.7.18_p16-r2.ebuild | 2 +- dev-lang/python/python-3.10.13.ebuild | 2 +- dev-lang/python/python-3.10.13_p3.ebuild | 4 +- dev-lang/python/python-3.11.7.ebuild | 2 +- dev-lang/python/python-3.11.8.ebuild | 2 +- dev-lang/python/python-3.11.8_p1.ebuild | 2 +- dev-lang/python/python-3.12.1.ebuild | 2 +- dev-lang/python/python-3.12.1_p1.ebuild | 2 +- dev-lang/python/python-3.12.2.ebuild | 2 +- dev-lang/python/python-3.12.2_p1.ebuild | 4 +- dev-lang/python/python-3.13.0_alpha2.ebuild | 2 +- dev-lang/python/python-3.13.0_alpha3.ebuild | 2 +- dev-lang/python/python-3.13.0_alpha3_p1.ebuild | 2 +- dev-lang/python/python-3.13.0_alpha4.ebuild | 2 +- dev-lang/python/python-3.8.18.ebuild | 2 +- dev-lang/python/python-3.8.18_p2.ebuild | 4 +- dev-lang/python/python-3.9.18.ebuild | 2 +- dev-lang/python/python-3.9.18_p2.ebuild | 4 +- 23 files changed, 343 insertions(+), 343 deletions(-) delete mode 100644 dev-lang/boogie/boogie-3.0.10.ebuild create mode 100644 dev-lang/boogie/boogie-3.1.2.ebuild (limited to 'dev-lang') diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz index 207142ffa4e7..a139905e1579 100644 Binary files a/dev-lang/Manifest.gz and b/dev-lang/Manifest.gz differ diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index d4757d90dd73..6a8e2c5620ee 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -1,8 +1,8 @@ AUX boogie-3.0.4-disable-analyzers.patch 764 BLAKE2B 965f6a8007a4324aa95b165109dcbc85f7bba5696d04772c53cfb1e456d0c60d2d3dce9103df641fe7f565d2a2d4e04a5d02aba43ac1ccc4527dcaae90b7b28b SHA512 b8c7b9172cd2f45be84058babd33c75f37dcb08f6c1a0b7c79b0ae2bd8afec70b29886f23d0a5553a00e1d3761a7788db0444d06788ee32aed2d1c2cd7cb9554 -DIST boogie-3.0.10.tar.gz 2045614 BLAKE2B 47b709a9842055f489ddab50d1661c4abe5d5c72c3b968c80d4895797409cbb1b480d18ca514da4eb66797706213310baf284e2ad736714defcd03baff1bfc60 SHA512 7ab6c99cbb9e737208519fa86f87f942d4d898adb0ee1f08978e6ae59fd0be0b7cb0eb8e288ad787cf7d851920830f16bfac4881ea0c37af872f5e4a74a1f5fe DIST boogie-3.0.11.tar.gz 2044740 BLAKE2B b8c1cde7ad4b10deabb9ca9edbf226f580512a3817e9a19a947c7bd5d26808c08e907237aad2209ec06e645fa7ef40c8d73fec812437585b27adf4e125d5b1a0 SHA512 fe59fb1ed2708a5d988a569dd14148e308966ca6382da8502a2c679d67121b39f60e03e9ed6f7efa80c079c818db008c99e1f5e6bc28ba617fe33ae6289c2cce DIST boogie-3.0.12.tar.gz 2044818 BLAKE2B 0d11cb1288933b1046b46ea3b93336fe08b9897a4aaf42228971e280be2c648b2110d20aaf6533e6d95e51b0a86c1fe507da05eaa908dc0ed885192e9480d0e7 SHA512 e2c1d4faad1bb448dd3cd9f6dbd4c70fa913584ef1bedd4938298498850bc6a0b6017924a55d9b48c82189253c2ac8c84a2564afa2d9b237434ad40ea286fbec DIST boogie-3.1.1.tar.gz 2038688 BLAKE2B ea720665dd9d830de0639b3b2fe08c452e80375e98b8ff9ced473c4beb540a2cb3908415bfbb1582edac9043c17dcbfc014d2dd1dcc3ce0877db436c13a639bd SHA512 704990ebd9b55e4f617249a5e2b4c74a615c61a51da41485eddd8c1b8159f16afd5da13e93f684a97d87c2e1273549977e04180423909c22b026e975d07a0ceb +DIST boogie-3.1.2.tar.gz 2038757 BLAKE2B 5e20b8c4d02fb623a9b7ae053677ae148d1d5db8a3a7530088a56f25fed1708946ca9bf9f2509fecfe994963b65c52a83238870d5060e7a787d2330b2cf98628 SHA512 218dbdcc979de6d8fb871596906a5403935b9dd06b8ad74eab2face0c7a1d04946b692fbe635e23bbad4b0a9e74de6159c53c38069be627ab6a916a09050a282 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 DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be SHA512 c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec @@ -193,8 +193,8 @@ DIST system.xml.xpath.4.0.1.nupkg 250135 BLAKE2B d6f211f98f33f6b8959b918cff8e676 DIST system.xml.xpath.4.3.0.nupkg 250182 BLAKE2B 8a4177d47af56bc7a6289ed8f2cac41d504dee212a858ed221277b3f523b1ce38ccb47bc3ce4d59a2c7cfd77f00f3c9693a9c257c90adb38096ee77a860f10cc SHA512 2bd0979a2020579fb32ad374b89929a272e763ee1233ed9a215408c0a1f9f82a5fdb74330c1c55a6102e0dfdb8b7b59ed25fdf6454bf3de146152ea779f366e0 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.0.10.ebuild 9279 BLAKE2B c73132b332073380835a6eda81651ec3d67a84e7a0d639bf9c98afd78260cfce67f80a5a51bb19d755ba686e61cccb750c75c0cb0cc474b5e8d5539a806270ce SHA512 b06881e8780928c9c388cb585045d30a44748fba974f6747bc80fe21cd390a41f476a791b07d450146a66aa03bdcf66b3a0cc59025f3cf327ab4e06e0e03f43b EBUILD boogie-3.0.11.ebuild 9257 BLAKE2B 96f5e3a404392ba026fc3e6c89aaf160e43b59f416ebb05d962f8410cfbbe197454e8125064c6fa4e7094e2b7089972111046f9b3431364b3efb3e3fe8492cb4 SHA512 ddfc00b75fe2d70da8e4a79f0531688a91ba0f0cd1c7d40534beed508db1909deb818f45e00d3945bc83ca2aed56e3cf5fa9582cfb46771accce9e4d6b87a185 EBUILD boogie-3.0.12.ebuild 9144 BLAKE2B d73d45ef2a1ea2b1268e890c9042c070643369e8db7e77a0bd62ec9048eb5928a4f7c2eb8086614330da4a15c634376c1df761beb3af5aaf9c27dcbb68e1b267 SHA512 35a535086472d7e585ac021172dc8f2f192181b6cf07ec7bbe72ceb6a3a90e7a6dfa495a213a80b1fcf4e2bd147cf8bd9287cb5ad5e69bbca4ec406fa21dd1cb EBUILD boogie-3.1.1.ebuild 9097 BLAKE2B ab846dc8d1207491d22765745f9cb93cd41fe2d864a9ecf67ce091a3dcdf5b7e48b687574f30598ef713a821eeea385979981e40941ac446997c991bd110c1b0 SHA512 f844a8ff192a1c86509d05626e4054be6052206f26ae81436f6a20e421700768c1886e7d15d5d8fc9ae74fa66e72430df67f1251dab6a9e1c3bcb77c0cb81ee0 +EBUILD boogie-3.1.2.ebuild 9299 BLAKE2B 46ad8d4a184dc97dd6a2e8a1541e0e30ebae7bf1b224cdb76bed014936e9128940f66b323637c566f8a9e7636132a848a4ed25cb656bfbaaab9d2b08fdb10764 SHA512 2f4d6bc514e37d0c66b8132d5165dd001b564a890e0fedbdf2d8db0c7e93763c9a8d3a21094cc2d8579de9eb332a812c5a0a0d41efe0bf472be801b539ff1a70 MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d diff --git a/dev-lang/boogie/boogie-3.0.10.ebuild b/dev-lang/boogie/boogie-3.0.10.ebuild deleted file mode 100644 index e6115ead2c53..000000000000 --- a/dev-lang/boogie/boogie-3.0.10.ebuild +++ /dev/null @@ -1,301 +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/lit - dev-python/OutputCheck - ) -" - -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/PingPong.bpl - civl/inductive-sequentialization/paxos/is.sh - livevars/bla1.bpl - prover/cvc5-offline.bpl - prover/cvc5.bpl - prover/exitcode.bpl - prover/z3-hard-timeout.bpl - prover/z3mutl.bpl - test0/MaxKeepGoingSplits.bpl - test15/CaptureInlineUnroll.bpl - test15/CaptureState.bpl - test15/CommonVariablesPruning.bpl - test2/Timeouts0.bpl - test21/InterestingExamples4.bpl - test21/issue-735.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 - --verbose - --workers="$(makeopts_jobs)" - ) - edob lit "${lit_opts[@]}" "${S}/Test" -} - -src_install() { - dotnet-pkg-base_install - dotnet-pkg-base_dolauncher "/usr/share/${P}/BoogieDriver" boogie - - einstalldocs -} diff --git a/dev-lang/boogie/boogie-3.1.2.ebuild b/dev-lang/boogie/boogie-3.1.2.ebuild new file mode 100644 index 000000000000..3000988a0c5a --- /dev/null +++ b/dev-lang/boogie/boogie-3.1.2.ebuild @@ -0,0 +1,301 @@ +# 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/lit + dev-python/OutputCheck + ) +" + +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/PingPong.bpl + civl/large-samples/GC.bpl + civl/paxos/is.sh + civl/samples/reserve.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 + test15/CaptureInlineUnroll.bpl + test2/Timeouts0.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 mere than half a hour. + --verbose + --workers="$(makeopts_jobs)" + ) + edob lit "${lit_opts[@]}" "${S}/Test" +} + +src_install() { + dotnet-pkg-base_install + dotnet-pkg-base_dolauncher "/usr/share/${P}/BoogieDriver" boogie + + einstalldocs +} diff --git a/dev-lang/python/Manifest b/dev-lang/python/Manifest index 8b9bf7e4f616..65042fcab194 100644 --- a/dev-lang/python/Manifest +++ b/dev-lang/python/Manifest @@ -40,22 +40,22 @@ DIST python-gentoo-patches-3.8.18_p1.tar.xz 33160 BLAKE2B 53c7d71f2cdcc21e991a9d DIST python-gentoo-patches-3.8.18_p2.tar.xz 34160 BLAKE2B 2e97f70615b950798cb7e2ae076f6617da3c28ef2d3f56f4e9be5c9144a64512fab1c098ed778d740ef79fc95af3ede231efc712304937c65b867e6e18dc0405 SHA512 fd05a1f6f7ae8173f4976464116fed66486a36b937f638d97d60c2eb0f3b277525b25b60c800c3b2b3403b63c0cb813b138094c59ccf43aeecc4a23c69f2f3ca DIST python-gentoo-patches-3.9.18_p1.tar.xz 25792 BLAKE2B f24ab6d3443c2b39a2fdca5810790eed51d2d42c93a3b41d75cad6b6c99ebf709f598eaa9881858e13ad102867d97a159f3a6d97a42569d5183de6118fb953c6 SHA512 be0c60c65d4c982cd8b934d14b69f5f41ca9f0d6c51d6bf195d64d0a5ffff3d359edc29a6a2f2808450c896d2795cc773c9f31680970205a37955134be50ee79 DIST python-gentoo-patches-3.9.18_p2.tar.xz 26756 BLAKE2B d9625e8972e2b7536ca1f54a284f0b414361e234b869f98593d132d7bc63b7a1a311c3e6769deba1f07358053982845a96b62b14871388e3b6d211f51f7358b5 SHA512 83584170cb29fb71937dd224af381cd5602b736d893c8ae89891805d6882d74208244040e3278baef82c31a6769c827c21746265260e9be7bc55ffdb8b625b2d -EBUILD python-2.7.18_p16-r2.ebuild 8596 BLAKE2B 08bb3c66c497771799aa3a82706cb20827f740e1254c3290cf0cf4f2c1dfc4c9abf70334c01fe257c7db10849009ff8c547a3c073eb0fee54c08e7fd57ef4b82 SHA512 69386bf991e2d1cf77a5e03c1f3c13a9311cb507d529b3fdb8d9aeead3b8f5ba9a7f6940332781d617c17b7b5881d28d51d182f33f0fe6761bd7cd40f55404ba -EBUILD python-3.10.13.ebuild 14256 BLAKE2B 81635a820dfe695b915fc41301c7a6d89374fbcf9eb912c526a4acbb8803347daf84403534483c6255afe90f54ee819a4529d3c6532987eeb473e4bf9baee00e SHA512 2b19546b8e4b4b2646906da0a428d735a9a8310a8dd41c50b808fa795cf5e0b483ba481835ce308dcda37bd481320c2f0046582bc7ba59c6a4294f97ab8572ce -EBUILD python-3.10.13_p3.ebuild 13964 BLAKE2B f71d8c778be57f4ee7cf6e4d8fdc85b2d72395160f27707e0161d152cc8602e684ff2ddbfb16f8a9da26a94f3bf0d8050585202a97995d536623859b601e015f SHA512 7437b69c4437768d86d6cdb54b74490ea0b3f34e9a12a5586ecb7b9592548e4355315caf72758317d8376d27f6cbde01e943d8634df71ea32ff29db6181b70b0 -EBUILD python-3.11.7.ebuild 15139 BLAKE2B bdfb24a91e2a1dfa93b0a67b1fb4355661dc80be5293bba672960f6a264d34b4457c3944c96d7c538b1b2e8162723ff2b54adbc6aae66f6700a30970b72cbc60 SHA512 aeb6e5878d51c16ea34d7600e39f6fbc65942b4ffcccef0136c09bde23bddbf97c4357efbb944578fe2d92b31dd168c1ab6b8f4d05c314c05937e43040faa37b -EBUILD python-3.11.8.ebuild 15144 BLAKE2B d09cabeb6812787406806980f6d965e9b8eff12fd7025ffddbc506a81417c8a1787fc877e6f5ff011030d702c06648e78a45cebe1fe5f88cfae33d438466cc1b SHA512 6e2deed6cb93875f1d805480e471fe9a38adc7932f8229f92b80f8230ab5f7a316a2cd95261dd315e01290a2967ab72780b5a3f6208525901ea9f6807b9f4bac -EBUILD python-3.11.8_p1.ebuild 15076 BLAKE2B b83dd8228f053d5286e6eee25c8d9580ba19df5ee25739b211554a6274ad1d23b3b88f7f0e0bee0e5ae200d57ff486b01878a68e42a2df4857a29a55412016f4 SHA512 b0d5d6348d02b035f2fc74dae783af25410fea39e6c08a3851dd63f0cf46791b79756707fe6904f7a8c0dc76397046e9a21dcea124709c9b80bd908106376171 -EBUILD python-3.12.1.ebuild 14727 BLAKE2B ff90d5b7df3b1f436de662e9243836db14706b0c3ad93c97cb4a7017dec7d8a07b183dd89c2663d105c43131034a4ba9af5c7f3637bacdf6fb2412814c8d69f0 SHA512 0ca516ff724627d7e2f5702ef1a35a593128a3bc5cd5d306b50860e4bede40f488b2235a4570a0cb756b5de02709249a9d42d7680afa449b58e8ef1d1caab2cd -EBUILD python-3.12.1_p1.ebuild 14704 BLAKE2B ea7aa816c7682d9cb0bf1bee5a62814e475bc5e2603fa3c0d67cf444afef3113ab60a0f96a3fdd0fe4620b08448613f19e1a5cb222c10d69ca771866c027d426 SHA512 60a71bf9a3f8985a931a5e2281a4773fdee09b053092b739b3b64810e297ec68b9158c8c9e95ec4a64f190648cd3fb6bf12db6e289b96cb54512c367121484aa -EBUILD python-3.12.2.ebuild 14705 BLAKE2B 18903ba05981c83c0d07a74f033b906d69eab7681a884a232636ecbd47034fd0586b51713c584e72c505fdc5fbb7cdc871a9a73c1a23003ae4e166d405690412 SHA512 103e71c40949b0dbcf66155c8a848d2ff50c90123342f46dd50bb06e54633dd198fbf91b6c916d98e5ba00821905af5a2f928c7f87abcc1e40c474ee1aedc1dc -EBUILD python-3.12.2_p1.ebuild 14637 BLAKE2B 911b673e5422a28aafbacb06a7a696ff0b9dfc56afb7406c88e9dc6c04d72d2c26781c9293e361c526878fddf2b57f4619a6d6cd00e445f23bd3124a3090f356 SHA512 5fe5de272d08605c777d4189e5efa21d4b35a0d28f8c4bf921c9d24d2a0cbaa70014093f1d17935f737445eb76e6d0a2c6fc2cf978ac8c30e5e9948a5b1f3f1f -EBUILD python-3.13.0_alpha2.ebuild 14534 BLAKE2B 97829f0a0e2329beef8f56b8483662e7e007fbd000df4c930e8d5e6aaf430bcc6f1d32cba539f839713c4adfede0a71aa6c69ba6ba3e50cd0017462616ed26e9 SHA512 186ebdb26b1fd53c4729102e10542ff7d6bc2406edc684684c1615e2d6b040135227188dad7e691f205bd744b26871668dfb85b1df7ca2e703b6ebe449d9279c -EBUILD python-3.13.0_alpha3.ebuild 14531 BLAKE2B a2c577ef91533a5fe3f110af0c8242da605c9b4a2d933e7dbc0fdc92f03fdc61ff629d6b7b4fc9933a64b811424dd579e52b41344bdf73e38556ef86689988f3 SHA512 e396dc8272f9f827b2bcb22842e2a195b0ffed820b59cd27665568bd5f539281bb9bd9a7dbbed8e8036b4c8f30ebd3edea5732aee74023e4f42a8a4a7a626ee5 -EBUILD python-3.13.0_alpha3_p1.ebuild 14470 BLAKE2B 7d0cea4a8f252aa876afa390f1cfb3da4747120123534622ce892047bf7a951d1cbee86292ae68cf75b3755982130a65ee4532a03cc44cb151036c3d7cb497a3 SHA512 65b0e49576a781f1e1c93dc61951352e050174470d1eb4d80f698700b9a0d52caac160e9f8966b33f4f19350cd563c42feb6920a5de8a323536da3c13b6ad7b5 -EBUILD python-3.13.0_alpha4.ebuild 14728 BLAKE2B 41eb5a8c5dfb42b735708f2c9dd0bc1a403abe46e858b5f184e2f90ec193612e68b2f039e4e5a020f28dc0c703d3f5b922c35b5ffda0eb9fdc0465df3ab7fd10 SHA512 6f1bddc6c563a2811219824935641758cb40aa901bb75f84186f6aa2b19a4f9b0134abcbba7690edaf2f72281cc556ea8fb91d950953ff56b4a5c64c5363cfe2 -EBUILD python-3.8.18.ebuild 12424 BLAKE2B 08a9b26fd0c6700fc2fa86faa01ffc67d70e5b87be8aa5cad74e40a13183df2cb91fabbc642158503a7ce58d14cb6af02f916193118a11b5a9b53a16ece4993d SHA512 0000454a189a3e097f31466d3825f66cae30206c8a3350031b0ee66f0aa1cf4b690727d4318c76b9e89836ce0d58e4aac959b469a97eb3f1722e8002f56228ef -EBUILD python-3.8.18_p2.ebuild 12135 BLAKE2B f7e9293a33be612f8a9f999b6d15bd5382ae33670511bb80ec59e3dcc79c9b3e00a0006d21b29f0b5d4c3abe9654c5a4726b19ca9f4bf7a4f4f96b7b507944c5 SHA512 d8404a591827bb473ac6976ab2e42a0544c708ea796cf9d5a93666773cf2eb41c94e8e589260e9a9542548fd8c9aff87ab093efb8fc9d25e9e7f3f1bfca9a995 -EBUILD python-3.9.18.ebuild 13907 BLAKE2B 3a727aa599900b6edeed06d14798c6b91e189d91e7364b1e2d456835b6c7b521999b602760bdb8cec54b31aea55c6c0f6d71e58fec97d00789c759d8eda04dbe SHA512 1a6d71f8384109fb02e6665e98becb1fdf5f8b3545fa6339e95b3cfc7d40a0cf3fb7f1855fc34e97fc52a28965a18fffcbf2d1283633b95e80e28bb0eafd10b0 -EBUILD python-3.9.18_p2.ebuild 13555 BLAKE2B d85c10b84a7825414d6bfa48be2a993031dc59bd1bacfad5f7655f2c8b3ca06700c7ce83794ad8cd544a2174ad217230afd44acf1ab106b62ed5adae309b3549 SHA512 f65c5bcb73f5c28202080c88ae2142918f1bcc2a6e3263fbd3990a898d1b277d07cedae3a068aeb9a464a4d88b0ccb455a3743334ad43ded3ecab27f80b5e08a +EBUILD python-2.7.18_p16-r2.ebuild 8603 BLAKE2B 6a2ee7f1a5d0eae487cf0293fb2528c97679d0fb395cd51f00a08ede8abb473f3e16051c8b7b797a99c4462d520955c01b1b0d238caf0652a3166034bed60839 SHA512 e498d3f4904e2cf2de6a6d0beb8e573a462bc96970c861616bd12956434154146e1625ea36b44f984b82f3d6cc90b33860b71c4067002b7f96510eb5e632e572 +EBUILD python-3.10.13.ebuild 14263 BLAKE2B 9e9f65a3c1fcaf7eabe153faf10495909db9cc516fadcc29522f4eba3b2b5d1d0bda0d50816e0effd9ec4558af41451416df29ad7c02f8c3aa860446be2768a8 SHA512 c58c7b3637eee34628e3a7076ff297987fb69714096ebeb5349ab93f231363384094a160f63332dfb8bf37fd39af511ea38e02535bf8f047b138d09fba6dbbaa +EBUILD python-3.10.13_p3.ebuild 13970 BLAKE2B 1d8fb86cb3e911b5af8b6f54bf92e5e861aa580faf58bb6cba1bfb046e59b9211518b58556afc8eb8bf02e4838a860575f93da4180a8faf939dfefbdd1243ef0 SHA512 ac3a50e33aeadd23942255729896a3d50a9211cb3d2bc77cf051a705679e9f629870649c84cc63fc183abd49248d7858ee920f5fbc976508e00971cb848a5fd1 +EBUILD python-3.11.7.ebuild 15146 BLAKE2B ec358f59fb1421d46023f4ceb591cccb94b083c2658ede4e9664196854b96ee8c04b804869611c3fd17717b6809de355b8a67d21a40fa4acf17ff94a2b7de94d SHA512 7709a3af6d2f46ed2de9035b967a991109319cfe00c705059b69482cb9d57c1d19637aca58dc1b7e39c9ace39509dc58b9ca5a7deac6147617093ca8ddf78d0b +EBUILD python-3.11.8.ebuild 15151 BLAKE2B 64b5594a2712d38ff3eedec6bbd20fad66c099eb71fa8a1367f33a7e61a8dd59ce65689b6bc6566bcffe38c24c66cf77968724f42e543a4939237e9d6d97d3ca SHA512 c95f6a21e7c2921255035b49455e0cbe77b416d4115be938f152a19a2d14d2f97cd8f08ff56b6eb489fbab1c73e234aff646469332c3beea5107337396e86027 +EBUILD python-3.11.8_p1.ebuild 15083 BLAKE2B 55b795ffa2f49cce71ae355ea7de781a6cd5bedcfba31d01f9845bb756df806f9a86e676b1a5e4b30adbe162cae71ecf382228a35c9f7d9bbc3ffff6b37916bb SHA512 3e1a3455d348868a9adaf9b17a1f7f05755576467b23848f0cbf0dd494589f0e87fb4649b99ea4142aacb698b0fd401e7de0f37b6913753f322576d78e7a696e +EBUILD python-3.12.1.ebuild 14734 BLAKE2B 7da66afef9bdf39e3c893007a26cf5aa3b5eb30eadd515120c6ec287cf2c9fb7bcaf8ccfc590d8123b57201d81eb10ba092e0208e10cff1c4ef6e46a4f0bfb9a SHA512 8ad2cc71f5262cfb3881ac4a14ee54210411db7f7ab1f8cf9b8190c34d23ef58fed13bfb66782d6a21a46d3dd258eae19bc4989a17a96e99dbb79d12afef3cf4 +EBUILD python-3.12.1_p1.ebuild 14711 BLAKE2B 5bcfb291af9543bf4295f2703baf9799c0931c762f7700657a4ffcf3a5bf43f548397f4a9560c870c136174c8a17d3b363301b8f85450f64d1b2048b5680e2df SHA512 5def4b1b1fe9e8b7806bed62cdad7342dce908e4a60a5d638c5e00c9ecd2ddb0747a0dc251ee8f6488f1c798859c84f90d904f854f9a7b1981d10a54cc3be6fb +EBUILD python-3.12.2.ebuild 14712 BLAKE2B 9a6eb939edd6b9c47cb43959ecd25ba78c2fbbac75a8220053dffead140198e4b86aa5fb54c5cce295cf106e82c2a832337afc2866b161e0288fbe0a78f68ed7 SHA512 5d61f90ed75531c306a3d383130fabad60e7cb8f1254e374ea5d973693606201db870e067fd5bd3bdaf0231467571c3b413bdd611cb0e0e62abd4b9f460ba45f +EBUILD python-3.12.2_p1.ebuild 14643 BLAKE2B 94c2f27e69d029d9e8c15538891191b3794361a33b460d2179dac8ff95f22a078ff7e4e7f077f4eea30ee5166cbeb41efaf7669e38ac247672ec91b14fa199e5 SHA512 6a77a244a4567ff4c4c278c67fe46cfae941f240483df7f40535016589b0c5d63d2e24d0f3eab90287f970a0c1b7d9dad6a04b25f3207b96685d33eacf901890 +EBUILD python-3.13.0_alpha2.ebuild 14541 BLAKE2B 32a5aa431f3be31215db12aecb23738833119f3514c747db2178987f1105bcebfda720db9784e7878cef29da408254f3852b261564ae05986cf9a9b90f0feaed SHA512 1913a4316460cf1327a57bc8fbecfd85b149e31a9820916cb972f4917ec346df63686187c46d41136e93c49f57b6bc41ee4bb0fa8a5ae851941f8e5fee1be191 +EBUILD python-3.13.0_alpha3.ebuild 14538 BLAKE2B b88ab4f23764dea74f466fbde6bc2d7958ff5af38a437c84cba95531ef664b66758651964431bc3de7f43f648449508a2cf83d9b93a2ae0c247292309c6352c1 SHA512 9e450cb086cdedd99e2a196fd098f2b578e7631d598cfc4f9f60bc513c25a7179b85b2236f747c516727b30a0adf91aac548b76615fca56c690537f02776f009 +EBUILD python-3.13.0_alpha3_p1.ebuild 14477 BLAKE2B bca4a6b3a038a50ae7638777810b72968b42e562638abf32ca111ffe80709b68a63581067d0ef5e8c7dffa3ec30ef648283c9f3c10697643b1d3abc16eb78fd0 SHA512 0c09386612f3a4b72b8612a3b8235cfcc342e0c333f09429731d1dcb5e5c0ab33b246792cf5481333ee613424aac56c76bf66d69e2a0e0f3960a4979932dc9bd +EBUILD python-3.13.0_alpha4.ebuild 14735 BLAKE2B ccabfbe4848842ea2405b6830edadd9027f6c70369e697dc3fb1cfe986a8f1fe54aa4e1687d4c48415ecd758c1e68cc5a3a47cf2120730e1183aa2e76bd3952f SHA512 5d591ff8f2cb0b85f887774ff147040f32285298eb4edcd8e8616550a51e50de4cd0cad6db5e3ad1c7afecc8f2e6f8039fa8039df6ae45b43103bef4a2a7be6e +EBUILD python-3.8.18.ebuild 12431 BLAKE2B 6e6ee2b5b18aedc0fecf01bb9ff589d7a971e938e0aec6d0289105ac69111bb94190b3901ed8f2d84f6d5248fa296208061eb988e81751a27378f5709b6c1eea SHA512 29e7b2c98056ce161a87de4e4132c660e3476e29d1becb73c580e0449697d22887f2df6d24f5abf6a9709a778ca6f14353d82446950d67a7086ae8f6bf2b4ab0 +EBUILD python-3.8.18_p2.ebuild 12141 BLAKE2B 488d7578db16922771cf0ea0c96206fb4512f83d98b32fc2fe9b4304093a9d4bb37d75a8115937196986a28ae36e3119155f84b5626659185b162ad3d8974d01 SHA512 406a1c2f1001479c57c0788f5ac09132f677d41a69f0435b8af41d874e2a8bfb80d016c44848f1030cd28daf2c5da9b82bc70738eda30705bc416a84138345c8 +EBUILD python-3.9.18.ebuild 13914 BLAKE2B cec4f1f004a90c6991a5dd2d8f6835b32e059179a961e0cf10e1398d6fffd39fe4133e9973c82e40cf6e32dbdba0904f3da6705915b6b131fcb7b411824c84d6 SHA512 c8c38870d227d34e31bf36775fbb47cf9a05596dff7ce71bd6ac301aa603aa8fbd5db60fac66b683846a7da1eb1ff1e9568732a1027ffda596d4bf791cabd02a +EBUILD python-3.9.18_p2.ebuild 13561 BLAKE2B abe58e728a9103516a78b20af56780d6b01dca5fc11543ffbf66b80a540b5680f63572d1bf95083f7605ec3478150a4879dae262e9ffcc93176b29171f3b2d17 SHA512 91392113fe4e4482e7db20334af6e4ac258e2f42443de1f715376ac060f5be9bca76b50bd3a73cfcd3ac53063d344db7de7516e2d5d34c25ea817de252096d4f MISC metadata.xml 1437 BLAKE2B 22f737ad283774c5ffc55173878bf07b6f89d91b0ebd9cf41c11e518b35461ebc9ecfc8017a519673698869450c1ebe55b5dc2577a8b03ea716d30b99ce21d3e SHA512 9f684412c916a3909bb7c2bbfeeb93c66e1de22d4313d657370162ab8b7438e6397bc7d31641d0bbb06d3373966fbbf7578dc0a30ed44558cb1b8a3bb5bfecec diff --git a/dev-lang/python/python-2.7.18_p16-r2.ebuild b/dev-lang/python/python-2.7.18_p16-r2.ebuild index 539f7addcb1c..468b16a72d08 100644 --- a/dev-lang/python/python-2.7.18_p16-r2.ebuild +++ b/dev-lang/python/python-2.7.18_p16-r2.ebuild @@ -266,7 +266,7 @@ src_test() { local -x TZ=UTC # Rerun failed tests in verbose mode (regrtest -w). - emake test EXTRATESTOPTS="-w" < /dev/tty + emake -Onone test EXTRATESTOPTS="-w" < /dev/tty for test in "${skipped_tests[@]}"; do mv "${T}/test_${test}.py" Lib/test/ || die diff --git a/dev-lang/python/python-3.10.13.ebuild b/dev-lang/python/python-3.10.13.ebuild index a8dc2f6575f8..d00f770b886d 100644 --- a/dev-lang/python/python-3.10.13.ebuild +++ b/dev-lang/python/python-3.10.13.ebuild @@ -410,7 +410,7 @@ src_test() { # workaround https://bugs.gentoo.org/775416 addwrite "/usr/lib/python${PYVER}/site-packages" - nonfatal emake test EXTRATESTOPTS="${test_opts[*]}" \ + nonfatal emake -Onone test EXTRATESTOPTS="${test_opts[*]}" \ CPPFLAGS= CFLAGS= LDFLAGS= < /dev/tty local ret=${?} diff --git a/dev-lang/python/python-3.10.13_p3.ebuild b/dev-lang/python/python-3.10.13_p3.ebuild index 69f196a8f1c3..916bc1290842 100644 --- a/dev-lang/python/python-3.10.13_p3.ebuild +++ b/dev-lang/python/python-3.10.13_p3.ebuild @@ -28,7 +28,7 @@ S="${WORKDIR}/${MY_P}" LICENSE="PSF-2" SLOT="${PYVER}" -KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~loong ~m68k ~mips ppc ppc64 ~riscv ~s390 sparc x86" +KEYWORDS="~alpha amd64 arm arm64 hppa ~ia64 ~loong ~m68k ~mips ppc ppc64 ~riscv ~s390 sparc x86" IUSE=" bluetooth build debug +ensurepip examples gdbm libedit +ncurses pgo +readline +sqlite +ssl test tk valgrind @@ -406,7 +406,7 @@ src_test() { # workaround https://bugs.gentoo.org/775416 addwrite "/usr/lib/python${PYVER}/site-packages" - nonfatal emake test EXTRATESTOPTS="${test_opts[*]}" \ + nonfatal emake -Onone test EXTRATESTOPTS="${test_opts[*]}" \ CPPFLAGS= CFLAGS= LDFLAGS= < /dev/tty local ret=${?} diff --git a/dev-lang/python/python-3.11.7.ebuild b/dev-lang/python/python-3.11.7.ebuild index a43e610443d3..a5f20c83a163 100644 --- a/dev-lang/python/python-3.11.7.ebuild +++ b/dev-lang/python/python-3.11.7.ebuild @@ -421,7 +421,7 @@ src_test() { # workaround https://bugs.gentoo.org/775416 addwrite "/usr/lib/python${PYVER}/site-packages" - nonfatal emake test EXTRATESTOPTS="${test_opts[*]}" \ + nonfatal emake -Onone test EXTRATESTOPTS="${test_opts[*]}" \ CPPFLAGS= CFLAGS= LDFLAGS= < /dev/tty local ret=${?} diff --git a/dev-lang/python/python-3.11.8.ebuild b/dev-lang/python/python-3.11.8.ebuild index 8ea6f0bd7b58..3526c356b750 100644 --- a/dev-lang/python/python-3.11.8.ebuild +++ b/dev-lang/python/python-3.11.8.ebuild @@ -421,7 +421,7 @@ src_test() { # workaround https://bugs.gentoo.org/775416 addwrite "/usr/lib/python${PYVER}/site-packages" - nonfatal emake test EXTRATESTOPTS="${test_opts[*]}" \ + nonfatal emake -Onone test EXTRATESTOPTS="${test_opts[*]}" \ CPPFLAGS= CFLAGS= LDFLAGS= < /dev/tty local ret=${?} diff --git a/dev-lang/python/python-3.11.8_p1.ebuild b/dev-lang/python/python-3.11.8_p1.ebuild index a5f007d2605d..d5a9dc5eaa12 100644 --- a/dev-lang/python/python-3.11.8_p1.ebuild +++ b/dev-lang/python/python-3.11.8_p1.ebuild @@ -420,7 +420,7 @@ src_test() { # workaround https://bugs.gentoo.org/775416 addwrite "/usr/lib/python${PYVER}/site-packages" - nonfatal emake test EXTRATESTOPTS="${test_opts[*]}" \ + nonfatal emake -Onone test EXTRATESTOPTS="${test_opts[*]}" \ CPPFLAGS= CFLAGS= LDFLAGS= < /dev/tty local ret=${?} diff --git a/dev-lang/python/python-3.12.1.ebuild b/dev-lang/python/python-3.12.1.ebuild index 6c0fd66252e4..f4902a2479fe 100644 --- a/dev-lang/python/python-3.12.1.ebuild +++ b/dev-lang/python/python-3.12.1.ebuild @@ -412,7 +412,7 @@ src_test() { # workaround https://bugs.gentoo.org/775416 addwrite "/usr/lib/python${PYVER}/site-packages" - nonfatal emake test EXTRATESTOPTS="${test_opts[*]}" \ + nonfatal emake -Onone test EXTRATESTOPTS="${test_opts[*]}" \ CPPFLAGS= CFLAGS= LDFLAGS= < /dev/tty local ret=${?} diff --git a/dev-lang/python/python-3.12.1_p1.ebuild b/dev-lang/python/python-3.12.1_p1.ebuild index 0e3c0c9370b5..2ccf8d09c699 100644 --- a/dev-lang/python/python-3.12.1_p1.ebuild +++ b/dev-lang/python/python-3.12.1_p1.ebuild @@ -415,7 +415,7 @@ src_test() { # workaround https://bugs.gentoo.org/775416 addwrite "/usr/lib/python${PYVER}/site-packages" - nonfatal emake test EXTRATESTOPTS="${test_opts[*]}" \ + nonfatal emake -Onone test EXTRATESTOPTS="${test_opts[*]}" \ CPPFLAGS= CFLAGS= LDFLAGS= < /dev/tty local ret=${?} diff --git a/dev-lang/python/python-3.12.2.ebuild b/dev-lang/python/python-3.12.2.ebuild index 3c9c8ce7a1ce..09feb0f52466 100644 --- a/dev-lang/python/python-3.12.2.ebuild +++ b/dev-lang/python/python-3.12.2.ebuild @@ -415,7 +415,7 @@ src_test() { # workaround https://bugs.gentoo.org/775416 addwrite "/usr/lib/python${PYVER}/site-packages" - nonfatal emake test EXTRATESTOPTS="${test_opts[*]}" \ + nonfatal emake -Onone test EXTRATESTOPTS="${test_opts[*]}" \ CPPFLAGS= CFLAGS= LDFLAGS= < /dev/tty local ret=${?} diff --git a/dev-lang/python/python-3.12.2_p1.ebuild b/dev-lang/python/python-3.12.2_p1.ebuild index 345233625007..e6450baf0c45 100644 --- a/dev-lang/python/python-3.12.2_p1.ebuild +++ b/dev-lang/python/python-3.12.2_p1.ebuild @@ -28,7 +28,7 @@ S="${WORKDIR}/${MY_P}" LICENSE="PSF-2" SLOT="${PYVER}" -KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~loong ~m68k ~mips ppc ppc64 ~riscv ~s390 sparc x86" +KEYWORDS="~alpha amd64 arm arm64 hppa ~ia64 ~loong ~m68k ~mips ppc ppc64 ~riscv ~s390 sparc x86" IUSE=" bluetooth build debug +ensurepip examples gdbm libedit +ncurses pgo +readline +sqlite +ssl test tk valgrind @@ -414,7 +414,7 @@ src_test() { # workaround https://bugs.gentoo.org/775416 addwrite "/usr/lib/python${PYVER}/site-packages" - nonfatal emake test EXTRATESTOPTS="${test_opts[*]}" \ + nonfatal emake -Onone test EXTRATESTOPTS="${test_opts[*]}" \ CPPFLAGS= CFLAGS= LDFLAGS= < /dev/tty local ret=${?} diff --git a/dev-lang/python/python-3.13.0_alpha2.ebuild b/dev-lang/python/python-3.13.0_alpha2.ebuild index 4ddf84d9d1c8..17306dbb0b69 100644 --- a/dev-lang/python/python-3.13.0_alpha2.ebuild +++ b/dev-lang/python/python-3.13.0_alpha2.ebuild @@ -414,7 +414,7 @@ src_test() { # workaround https://bugs.gentoo.org/775416 addwrite "/usr/lib/python${PYVER}/site-packages" - nonfatal emake test EXTRATESTOPTS="${test_opts[*]}" \ + nonfatal emake -Onone test EXTRATESTOPTS="${test_opts[*]}" \ CPPFLAGS= CFLAGS= LDFLAGS= < /dev/tty local ret=${?} diff --git a/dev-lang/python/python-3.13.0_alpha3.ebuild b/dev-lang/python/python-3.13.0_alpha3.ebuild index e3cdda1302cb..4fdd3eb970cc 100644 --- a/dev-lang/python/python-3.13.0_alpha3.ebuild +++ b/dev-lang/python/python-3.13.0_alpha3.ebuild @@ -414,7 +414,7 @@ src_test() { # workaround https://bugs.gentoo.org/775416 addwrite "/usr/lib/python${PYVER}/site-packages" - nonfatal emake test EXTRATESTOPTS="${test_opts[*]}" \ + nonfatal emake -Onone test EXTRATESTOPTS="${test_opts[*]}" \ CPPFLAGS= CFLAGS= LDFLAGS= < /dev/tty local ret=${?} diff --git a/dev-lang/python/python-3.13.0_alpha3_p1.ebuild b/dev-lang/python/python-3.13.0_alpha3_p1.ebuild index 2cd791faab28..8354775539d8 100644 --- a/dev-lang/python/python-3.13.0_alpha3_p1.ebuild +++ b/dev-lang/python/python-3.13.0_alpha3_p1.ebuild @@ -413,7 +413,7 @@ src_test() { # workaround https://bugs.gentoo.org/775416 addwrite "/usr/lib/python${PYVER}/site-packages" - nonfatal emake test EXTRATESTOPTS="${test_opts[*]}" \ + nonfatal emake -Onone test EXTRATESTOPTS="${test_opts[*]}" \ CPPFLAGS= CFLAGS= LDFLAGS= < /dev/tty local ret=${?} diff --git a/dev-lang/python/python-3.13.0_alpha4.ebuild b/dev-lang/python/python-3.13.0_alpha4.ebuild index 08b7d322bbbf..b763d4213f47 100644 --- a/dev-lang/python/python-3.13.0_alpha4.ebuild +++ b/dev-lang/python/python-3.13.0_alpha4.ebuild @@ -425,7 +425,7 @@ src_test() { # workaround https://bugs.gentoo.org/775416 addwrite "/usr/lib/python${PYVER}/site-packages" - nonfatal emake test EXTRATESTOPTS="${test_opts[*]}" \ + nonfatal emake -Onone test EXTRATESTOPTS="${test_opts[*]}" \ CPPFLAGS= CFLAGS= LDFLAGS= < /dev/tty local ret=${?} diff --git a/dev-lang/python/python-3.8.18.ebuild b/dev-lang/python/python-3.8.18.ebuild index 8c559d9f08d8..f70359ce0ac7 100644 --- a/dev-lang/python/python-3.8.18.ebuild +++ b/dev-lang/python/python-3.8.18.ebuild @@ -336,7 +336,7 @@ src_test() { local -x COLUMNS=80 local -x PYTHONDONTWRITEBYTECODE= - nonfatal emake test EXTRATESTOPTS="${test_opts[*]}" \ + nonfatal emake -Onone test EXTRATESTOPTS="${test_opts[*]}" \ CPPFLAGS= CFLAGS= LDFLAGS= < /dev/tty local ret=${?} diff --git a/dev-lang/python/python-3.8.18_p2.ebuild b/dev-lang/python/python-3.8.18_p2.ebuild index b6610bf228f1..30365c0caa7c 100644 --- a/dev-lang/python/python-3.8.18_p2.ebuild +++ b/dev-lang/python/python-3.8.18_p2.ebuild @@ -28,7 +28,7 @@ S="${WORKDIR}/${MY_P}" LICENSE="PSF-2" SLOT="${PYVER}" -KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~loong ~m68k ~mips ppc ppc64 ~riscv ~s390 sparc x86" +KEYWORDS="~alpha amd64 arm arm64 hppa ~ia64 ~loong ~m68k ~mips ppc ppc64 ~riscv ~s390 sparc x86" IUSE=" bluetooth build debug +ensurepip examples gdbm +ncurses pgo +readline +sqlite +ssl test tk valgrind @@ -326,7 +326,7 @@ src_test() { local -x COLUMNS=80 local -x PYTHONDONTWRITEBYTECODE= - nonfatal emake test EXTRATESTOPTS="${test_opts[*]}" \ + nonfatal emake -Onone test EXTRATESTOPTS="${test_opts[*]}" \ CPPFLAGS= CFLAGS= LDFLAGS= < /dev/tty local ret=${?} diff --git a/dev-lang/python/python-3.9.18.ebuild b/dev-lang/python/python-3.9.18.ebuild index c10ec2f54b06..1d35ed1759fd 100644 --- a/dev-lang/python/python-3.9.18.ebuild +++ b/dev-lang/python/python-3.9.18.ebuild @@ -393,7 +393,7 @@ src_test() { local -x COLUMNS=80 local -x PYTHONDONTWRITEBYTECODE= - nonfatal emake test EXTRATESTOPTS="${test_opts[*]}" \ + nonfatal emake -Onone test EXTRATESTOPTS="${test_opts[*]}" \ CPPFLAGS= CFLAGS= LDFLAGS= < /dev/tty local ret=${?} diff --git a/dev-lang/python/python-3.9.18_p2.ebuild b/dev-lang/python/python-3.9.18_p2.ebuild index 64d70c6c19f7..3f0257a31151 100644 --- a/dev-lang/python/python-3.9.18_p2.ebuild +++ b/dev-lang/python/python-3.9.18_p2.ebuild @@ -28,7 +28,7 @@ S="${WORKDIR}/${MY_P}" LICENSE="PSF-2" SLOT="${PYVER}" -KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~loong ~m68k ~mips ppc ppc64 ~riscv ~s390 sparc x86" +KEYWORDS="~alpha amd64 arm arm64 hppa ~ia64 ~loong ~m68k ~mips ppc ppc64 ~riscv ~s390 sparc x86" IUSE=" bluetooth build debug +ensurepip examples gdbm +ncurses pgo +readline +sqlite +ssl test tk valgrind @@ -385,7 +385,7 @@ src_test() { local -x COLUMNS=80 local -x PYTHONDONTWRITEBYTECODE= - nonfatal emake test EXTRATESTOPTS="${test_opts[*]}" \ + nonfatal emake -Onone test EXTRATESTOPTS="${test_opts[*]}" \ CPPFLAGS= CFLAGS= LDFLAGS= < /dev/tty local ret=${?} -- cgit v1.2.3