From 04a96556dc0036655ac429edf598cc48febe294b Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 17 Nov 2023 04:54:15 +0000 Subject: gentoo auto-resync : 17:11:2023 - 04:54:15 --- dev-lang/Manifest.gz | Bin 21006 -> 21023 bytes dev-lang/algol68g/Manifest | 2 +- dev-lang/algol68g/algol68g-3.4.2.ebuild | 2 +- dev-lang/boogie/Manifest | 4 +- dev-lang/boogie/boogie-3.0.4.ebuild | 287 ------------------------------- dev-lang/boogie/boogie-3.0.6.ebuild | 288 ++++++++++++++++++++++++++++++++ dev-lang/luau/Manifest | 4 +- dev-lang/luau/luau-0.599.ebuild | 2 +- dev-lang/luau/luau-0.602.ebuild | 36 ---- 9 files changed, 294 insertions(+), 331 deletions(-) delete mode 100644 dev-lang/boogie/boogie-3.0.4.ebuild create mode 100644 dev-lang/boogie/boogie-3.0.6.ebuild delete mode 100644 dev-lang/luau/luau-0.602.ebuild (limited to 'dev-lang') diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz index 08688b88e7f4..45f066fd6282 100644 Binary files a/dev-lang/Manifest.gz and b/dev-lang/Manifest.gz differ diff --git a/dev-lang/algol68g/Manifest b/dev-lang/algol68g/Manifest index 06f719170784..932293b9b548 100644 --- a/dev-lang/algol68g/Manifest +++ b/dev-lang/algol68g/Manifest @@ -4,7 +4,7 @@ DIST algol68g-3.4.2.tar.gz 661224 BLAKE2B 1f07ff0aa1734755886d03ea4c0e6116303db7 DIST algol68g-3.4.3.tar.gz 660981 BLAKE2B d160d851306a4f5975ce0f7254c22e11aed5b7fd659e32717755b1e8b6ac3a7ca6fc5208a466979a5a400940cd93a06456fbb3520a14b8adb617786004606474 SHA512 d3a4f0381624076c5dece247bb60babc22b603d310614316fb4565cf4b04ea46890377e7e9d7ee82e816df2d1881f37f0bc299f2677a03df6c46a6966b69ccad DIST algol68g-3.4.4.tar.gz 661980 BLAKE2B c596dbc7579415bd386f26f483857d6ffababdb43e9bb7bd8edc3171b447c3da2dc8baa25ad8fadcadd7dfdaa4650620b8449c5b0d9d2e056775726e7db53dc6 SHA512 d3d9b1aac61871475877c4dd1078bc856fd6f1726bd374e16d8ac9530aee00cdd7fb618c96afa98b28fd66dee343cc7bf92e201787d4598e41dbd794ec3d0a9a EBUILD algol68g-3.3.24.ebuild 946 BLAKE2B 609343d646c2fa3b96ce05c42d4ffc78768e441a8b79e7f38c1a4266a0e3deb454db6d33a620e4c6df81faf10b83a0f27242899090b141688c57224fc4efae09 SHA512 f9bdbbe26e6d68fcac101941178d957367c73f15fed114ee0ae5de0a183aa35ab4bb659eb8299b4a5bc6854659fc6c3945e79858cab7dc35c5a0608fdb7aef09 -EBUILD algol68g-3.4.2.ebuild 947 BLAKE2B efe202e1c73de4a41a2462d1026512f6ce622cd4e3c4f3c4488660bcf1be9cbaec6b6fb5b01b16904fc1fe1d3be07921db0b8bc3ca591f02eada8416ceb3b0f4 SHA512 84428d78b17cfc764bcdbc8dbd5efe65cf631d01e25ccae803d3ba0af7f910bb8a01cfd7212fd303506dac017ad1f9bee325a79d7ed82e5e21ab9ec0a19bcfb5 +EBUILD algol68g-3.4.2.ebuild 946 BLAKE2B 609343d646c2fa3b96ce05c42d4ffc78768e441a8b79e7f38c1a4266a0e3deb454db6d33a620e4c6df81faf10b83a0f27242899090b141688c57224fc4efae09 SHA512 f9bdbbe26e6d68fcac101941178d957367c73f15fed114ee0ae5de0a183aa35ab4bb659eb8299b4a5bc6854659fc6c3945e79858cab7dc35c5a0608fdb7aef09 EBUILD algol68g-3.4.3.ebuild 947 BLAKE2B efe202e1c73de4a41a2462d1026512f6ce622cd4e3c4f3c4488660bcf1be9cbaec6b6fb5b01b16904fc1fe1d3be07921db0b8bc3ca591f02eada8416ceb3b0f4 SHA512 84428d78b17cfc764bcdbc8dbd5efe65cf631d01e25ccae803d3ba0af7f910bb8a01cfd7212fd303506dac017ad1f9bee325a79d7ed82e5e21ab9ec0a19bcfb5 EBUILD algol68g-3.4.4.ebuild 947 BLAKE2B efe202e1c73de4a41a2462d1026512f6ce622cd4e3c4f3c4488660bcf1be9cbaec6b6fb5b01b16904fc1fe1d3be07921db0b8bc3ca591f02eada8416ceb3b0f4 SHA512 84428d78b17cfc764bcdbc8dbd5efe65cf631d01e25ccae803d3ba0af7f910bb8a01cfd7212fd303506dac017ad1f9bee325a79d7ed82e5e21ab9ec0a19bcfb5 MISC metadata.xml 665 BLAKE2B 2b9b283f86666d64dd77164c5afb0d76403c63f9f0dfac3170eb2ade95bcc382b09d14248cb720edf7c1b055e78ca5ca0017b6784caf4381d970a011301058bd SHA512 b3171d505f9f9e4dcdd5b5a0c6d302849fa017538402832dd3db205c48c68a39867089aae4d1f3c158a45bfc170b21f83789cba16511f251d70300020e102b0a diff --git a/dev-lang/algol68g/algol68g-3.4.2.ebuild b/dev-lang/algol68g/algol68g-3.4.2.ebuild index f1c0cc53d018..bff3227720c0 100644 --- a/dev-lang/algol68g/algol68g-3.4.2.ebuild +++ b/dev-lang/algol68g/algol68g-3.4.2.ebuild @@ -9,7 +9,7 @@ SRC_URI="https://jmvdveer.home.xs4all.nl/${P}.tar.gz" LICENSE="GPL-3+" SLOT="0" -KEYWORDS="~amd64 ~x86" +KEYWORDS="amd64 ~x86" IUSE="+curl +gsl +mpfr +ncurses plotutils postgres +readline" RDEPEND=" diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index 7941f891830d..381bb5f3d48f 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -1,6 +1,6 @@ AUX boogie-3.0.4-disable-analyzers.patch 764 BLAKE2B 965f6a8007a4324aa95b165109dcbc85f7bba5696d04772c53cfb1e456d0c60d2d3dce9103df641fe7f565d2a2d4e04a5d02aba43ac1ccc4527dcaae90b7b28b SHA512 b8c7b9172cd2f45be84058babd33c75f37dcb08f6c1a0b7c79b0ae2bd8afec70b29886f23d0a5553a00e1d3761a7788db0444d06788ee32aed2d1c2cd7cb9554 -DIST boogie-3.0.4.tar.gz 2024651 BLAKE2B ccd6892aef048f7e031d8101ead979eb8aeb09d14954e62d862cf60ef35bb34f70449b20ac4182f6eb253cc30f7fda6d17dc3206b50e1d0762d2be39fc28d12f SHA512 ff9f9fd9d143c79ddba146ed834aa68ef78b95a54445b8ae3ed89c2a55ca84106a4e0ba18f3b640ef1052ceb3b1ca166e6fb46242d9789a11d71a6d197e6f30c DIST boogie-3.0.5.tar.gz 2024714 BLAKE2B 453b09d9275923e8bed6ef80b1e331ee3a16e3ebfc7f2f454a989fa1242c5221c9a9d322b4306b11749b9ab48e012cc30cbf4d965413dc96e5bcdf52e6679f95 SHA512 212b561597ba8dea4c2ff1d073c317eb6f880c28588f032f65f3ad620a68fbf137e5cc9a20947a9f7af6f00e7543aeb56f09699ae179cfc7c4df63f825102d44 +DIST boogie-3.0.6.tar.gz 2023821 BLAKE2B 0d11c5f33d25e55debb5ec2a9fc99881bc4781f69da091f157f55a13e5a26e6562c9ef8c5ebeb5e0cf307d5c6ddaeb36918a0d1e6f5a740829811291b7fd92c5 SHA512 dd2f075a9f34212edd7ca57872cc1b240fac0814c3fbbe27aa1c3ad2a4133dcdbc432c9b49db56416f700a1c0caf2a99225af35f9dfe92115b783916979a43f0 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 @@ -192,6 +192,6 @@ 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.4.ebuild 9013 BLAKE2B af1950dde0419ab27525a3fe2f01698fcc89c1b143e94547f7ee0081b918777ff8e47de14cebc6e562d2fd7b97bece1d846c75eeb70143234a1ec7440d5d816c SHA512 e17ce6de4eb7c590765ef3d9e3fe4f3b72297388d4767eee7ecbe01b20f454343dafe823a3132c57edec4d84b34c8d30bd14ab48422f7ffdb4e5c26bfef67ed2 EBUILD boogie-3.0.5.ebuild 9012 BLAKE2B 0783ce4ca8e4c0b3adebdb381cc256a062a6708522fcb61b8eae6488ef980c6ddc94f454e0c3f8c80ce1549824ead0ecdbbd164d6a259c4598ded80452c0ecee SHA512 b95139529d07688c7fa8d3b46df2956c2afef76ee99ac939bdd2e93edbc8cdd5ca228a780c781d6473116e6eec1f1d16c3e1f3aaacebeb23f976edf6d683d73f +EBUILD boogie-3.0.6.ebuild 9047 BLAKE2B 50fdab6ce7331e1803b8d39810cf745d1d25881b41f43d07c01a6058227b7d2aa66064ecc72e98e14066c7b77c72a883a01de37a54443566c1d5639f169176a6 SHA512 ae9b8722dfe02048fa20c63a28030f1fef50d118d7f80541bf6bd45d26048d2e212eadd834963aa9c40587c2a70f3121f8665ef0522d53eea2866a8a06c8b537 MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d diff --git a/dev-lang/boogie/boogie-3.0.4.ebuild b/dev-lang/boogie/boogie-3.0.4.ebuild deleted file mode 100644 index 8cb18a16b354..000000000000 --- a/dev-lang/boogie/boogie-3.0.4.ebuild +++ /dev/null @@ -1,287 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -DOTNET_PKG_COMPAT=7.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 -stylecop.analyzers@1.1.118 -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 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 - livevars/bla1.bpl - prover/cvc5-offline.bpl - prover/cvc5.bpl - prover/z3mutl.bpl - test0/MaxKeepGoingSplits.bpl - test15/CaptureInlineUnroll.bpl - test15/CaptureState.bpl - test15/CommonVariablesPruning.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() { - lit --threads "$(makeopts_jobs)" --verbose "${S}/Test" || die "tests failed" -} - -src_install() { - dotnet-pkg-base_install - dotnet-pkg-base_dolauncher "/usr/share/${P}/BoogieDriver" boogie - - einstalldocs -} diff --git a/dev-lang/boogie/boogie-3.0.6.ebuild b/dev-lang/boogie/boogie-3.0.6.ebuild new file mode 100644 index 000000000000..1b08f8717817 --- /dev/null +++ b/dev-lang/boogie/boogie-3.0.6.ebuild @@ -0,0 +1,288 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +DOTNET_PKG_COMPAT=7.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 +stylecop.analyzers@1.1.118 +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 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 + livevars/bla1.bpl + prover/cvc5-offline.bpl + prover/cvc5.bpl + prover/z3mutl.bpl + test0/MaxKeepGoingSplits.bpl + test15/CaptureInlineUnroll.bpl + test15/CaptureState.bpl + test15/CommonVariablesPruning.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() { + lit --threads "$(makeopts_jobs)" --verbose "${S}/Test" || die "tests failed" +} + +src_install() { + dotnet-pkg-base_install + dotnet-pkg-base_dolauncher "/usr/share/${P}/BoogieDriver" boogie + + einstalldocs +} diff --git a/dev-lang/luau/Manifest b/dev-lang/luau/Manifest index 81e20b7eeb86..3c2780e4dd0f 100644 --- a/dev-lang/luau/Manifest +++ b/dev-lang/luau/Manifest @@ -3,12 +3,10 @@ DIST luau-0.598.tar.gz 6081452 BLAKE2B 19b725ea63df144288ef7d7ce12e1ae04a9908acd DIST luau-0.599.tar.gz 6501273 BLAKE2B f065f0ca11664841d182384c3ae3f3e8e283a0c504df43bd67139039afd1b75343ffc24c2fb26e13914bdc22efe66dd68cd3f1eb922bad2eda2540b04120a1ae SHA512 de9997f240f52551097bdd8af9c4fc40d0c90289e4e0d3677c2fedca2e69d57a7ac3fa8dc2df60eecfb466d9205eed517cb6cedbebde80ad318a370f37ee0ec9 DIST luau-0.600.tar.gz 6521332 BLAKE2B e2dee23ce448659ef9ebba4067c61a2666028de63cc4bdccc55cc970740c419f5865659601ef2c63e0cb381fef43b0ceb5f944eb29677f8f3ee10bf511b7aed1 SHA512 51d8cc1bf6547c5866e5f98748dac31f6da645552ba57ce7b100586cf51c1d7e0bc54359f1f74ff7043d2801256695c074b3a604f0404fc331472c664edf9cea DIST luau-0.601.tar.gz 1612674 BLAKE2B f3f760dc6e74ccaba616e5320e78c5994e6c9cc89eaeac18b62533a22e2fc3756e6be6c17cd5b14a212cca384164f7ec90ca720dfd53801dcfa4cf5df17a6ddd SHA512 be8c5fc29269a8c94a8aa0f15f4d88f11ee0d75be4c51c61225b6a0ebebba3c9cfb6c0dee0045a775ccfaf95ea9b4d52e84acf7a9fe970fa92b9bc0d161233d8 -DIST luau-0.602.tar.gz 1541398 BLAKE2B 95e41b40d0e037102c035b658802326103abf8b250b9946329bbbb295cc50f4d369ff7b10e6350eabdb0a650fd51a324c428cdf4b878b15f27297e93435e0671 SHA512 d4ebddc067cf7f93f472e7d30afb4eb9f37687e96d13ebf62f5cb964d018fc42eee4cc97b957e9296e2ff0f509e78cfb4c7f726c7bb79e20786e7a268c7c7de6 DIST luau-0.603.tar.gz 1556286 BLAKE2B 3fa116afbd9ef51d29503ac9d6d78c37ce5ced25d4bd0375d780dc7233fb7f4bd826807fcc608e4077f39bc06a8983a877846b74801847c0d136f1c6bc027acd SHA512 2070568402ff155d9b2a2a10235091eb10761c08fa56e63ab106d6596e25aca65644f2167c49576559bf6c5c9450da8b00fef508a235b85a9d7fa0655ff03a96 EBUILD luau-0.598.ebuild 764 BLAKE2B 0b537522661c2c8bfabcd10bef8296ce181f8bcee1cb9ceae85d0ca93f504f68e39b668b981e84981e8aa2109e75c2b7dd955271a96e1fd493090eeb72ee7c97 SHA512 98ff58b32279b3e3c8c16812f5d10002abf63ed29bf40555b5a364af0ffdb562fc75254b8ab42df5e0bef695002f4f59bbe7f4059208da5d9a163300f07d535a -EBUILD luau-0.599.ebuild 765 BLAKE2B 23f9d13f1fac061da43c18a71ce4dd742e8ff880d38da327fbb50859d0d8769bf86330785b09289d5323d6dd28166e1beee706e9bf669c5a9812a462be5056bb SHA512 5d6f371e31c1cf2d3a0ec657c133c6bd0543b2b02d09c7d5b75ac7724ff318c30da842fc5337277b57ad44b82e656d0e9a444a4907cfd742a967aff9bc67496f +EBUILD luau-0.599.ebuild 764 BLAKE2B 0b537522661c2c8bfabcd10bef8296ce181f8bcee1cb9ceae85d0ca93f504f68e39b668b981e84981e8aa2109e75c2b7dd955271a96e1fd493090eeb72ee7c97 SHA512 98ff58b32279b3e3c8c16812f5d10002abf63ed29bf40555b5a364af0ffdb562fc75254b8ab42df5e0bef695002f4f59bbe7f4059208da5d9a163300f07d535a EBUILD luau-0.600.ebuild 818 BLAKE2B 1a01a2f745edad5557e4dd31599960e05c16b93242b1aea4a376b9d04f5e13bdb67501fe2953ff64625fd7e756f36ca91ae705805a327feb3f1ebb97888ead41 SHA512 959013a9e10d9468b04c1d6bf877a4342591717f21f337c22d8790695bb17d1c7e23376a4dbb48e515b78d91f757d9d9ec0503c987fe7c7eedaddf4e8baba689 EBUILD luau-0.601.ebuild 765 BLAKE2B 23f9d13f1fac061da43c18a71ce4dd742e8ff880d38da327fbb50859d0d8769bf86330785b09289d5323d6dd28166e1beee706e9bf669c5a9812a462be5056bb SHA512 5d6f371e31c1cf2d3a0ec657c133c6bd0543b2b02d09c7d5b75ac7724ff318c30da842fc5337277b57ad44b82e656d0e9a444a4907cfd742a967aff9bc67496f -EBUILD luau-0.602.ebuild 765 BLAKE2B 23f9d13f1fac061da43c18a71ce4dd742e8ff880d38da327fbb50859d0d8769bf86330785b09289d5323d6dd28166e1beee706e9bf669c5a9812a462be5056bb SHA512 5d6f371e31c1cf2d3a0ec657c133c6bd0543b2b02d09c7d5b75ac7724ff318c30da842fc5337277b57ad44b82e656d0e9a444a4907cfd742a967aff9bc67496f EBUILD luau-0.603.ebuild 765 BLAKE2B 23f9d13f1fac061da43c18a71ce4dd742e8ff880d38da327fbb50859d0d8769bf86330785b09289d5323d6dd28166e1beee706e9bf669c5a9812a462be5056bb SHA512 5d6f371e31c1cf2d3a0ec657c133c6bd0543b2b02d09c7d5b75ac7724ff318c30da842fc5337277b57ad44b82e656d0e9a444a4907cfd742a967aff9bc67496f MISC metadata.xml 1071 BLAKE2B 21583b8ae784e9d98bf3f05cc8cca796e6e77b348ff43e52954a4aa67b805beaaf20c2f116753ed41764b51d85d4c673cd92e757053653bd8fc7bb8ab5d4ba79 SHA512 1a98dcfd442fc107c206c21c3ad3e464eec4ed3a77250b6dcaf982078553f612b1c6308a19a586835e6e17d3b6e208ecb6eca64b79fa2ad26f871b42e1711fe0 diff --git a/dev-lang/luau/luau-0.599.ebuild b/dev-lang/luau/luau-0.599.ebuild index c7bee4916d90..b15291852bc5 100644 --- a/dev-lang/luau/luau-0.599.ebuild +++ b/dev-lang/luau/luau-0.599.ebuild @@ -15,7 +15,7 @@ if [[ ${PV} == *9999* ]] ; then else SRC_URI="https://github.com/Roblox/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" - KEYWORDS="~amd64 ~x86" + KEYWORDS="amd64 ~x86" fi LICENSE="MIT" diff --git a/dev-lang/luau/luau-0.602.ebuild b/dev-lang/luau/luau-0.602.ebuild deleted file mode 100644 index c7bee4916d90..000000000000 --- a/dev-lang/luau/luau-0.602.ebuild +++ /dev/null @@ -1,36 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit cmake - -DESCRIPTION="Gradually typed embeddable scripting language derived from Lua" -HOMEPAGE="https://luau-lang.org/ - https://github.com/Roblox/luau/" - -if [[ ${PV} == *9999* ]] ; then - inherit git-r3 - EGIT_REPO_URI="https://github.com/Roblox/${PN}.git" -else - SRC_URI="https://github.com/Roblox/${PN}/archive/${PV}.tar.gz - -> ${P}.tar.gz" - KEYWORDS="~amd64 ~x86" -fi - -LICENSE="MIT" -SLOT="0" - -DOCS=( CONTRIBUTING.md README.md SECURITY.md ) - -src_test() { - "${BUILD_DIR}"/Luau.UnitTest || die - "${BUILD_DIR}"/Luau.Conformance || die -} - -src_install() { - exeinto /usr/bin - doexe "${BUILD_DIR}"/luau{,-analyze,-ast,-compile,-reduce} - - einstalldocs -} -- cgit v1.2.3