diff options
Diffstat (limited to 'dev-lang')
| -rw-r--r-- | dev-lang/Manifest.gz | bin | 21821 -> 21823 bytes | |||
| -rw-r--r-- | dev-lang/boogie/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/boogie/boogie-3.3.2.ebuild | 309 | ||||
| -rw-r--r-- | dev-lang/nim/Manifest | 5 | ||||
| -rw-r--r-- | dev-lang/nim/files/nim-2.2.0-makefile.patch | 11 | ||||
| -rw-r--r-- | dev-lang/nim/nim-2.0.8.ebuild | 27 | ||||
| -rw-r--r-- | dev-lang/nim/nim-2.2.0.ebuild | 27 | ||||
| -rw-r--r-- | dev-lang/nprolog/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/nprolog/nprolog-3.32.ebuild | 49 | ||||
| -rw-r--r-- | dev-lang/python/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/python/python-3.13.0-r100.ebuild | 2 |
11 files changed, 404 insertions, 32 deletions
diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz Binary files differindex 42889bb41df3..db566eb974e1 100644 --- a/dev-lang/Manifest.gz +++ b/dev-lang/Manifest.gz diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index dfbdd8631da8..f17080d8dcb4 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -2,6 +2,7 @@ AUX boogie-3.0.4-disable-analyzers.patch 764 BLAKE2B 965f6a8007a4324aa95b165109d 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 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 @@ -195,4 +196,5 @@ DIST system.xml.xpath.xmldocument.4.3.0.nupkg 138523 BLAKE2B ba53f3b5ac0f2d1d1e9 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 MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d diff --git a/dev-lang/boogie/boogie-3.3.2.ebuild b/dev-lang/boogie/boogie-3.3.2.ebuild new file mode 100644 index 000000000000..421465ebecee --- /dev/null +++ b/dev-lang/boogie/boogie-3.3.2.ebuild @@ -0,0 +1,309 @@ +# 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/nim/Manifest b/dev-lang/nim/Manifest index 8cad63dbd032..ad88253a4dbe 100644 --- a/dev-lang/nim/Manifest +++ b/dev-lang/nim/Manifest @@ -1,8 +1,9 @@ AUX nim-2.0.6-testament-skipfile.txt 2594 BLAKE2B 58af9e632d595e1dc8f6b4fadacf55f10697d75a1ff21a2a6be2feb14eb7e86c27d5fb10737614b2dad3eb7ee3b4a8d76d30ef1c7117e1b7738ca00960450c4c SHA512 940b9ad7eb1debee502568abf30f81970fc431785c3f9b00d8322eaa686f17e6b641e66baaecc7a6ec288076139d180f87978dec24a9ac949e14b5051829228f +AUX nim-2.2.0-makefile.patch 308 BLAKE2B 2984a3487838dd65f067eaab54f7ea6ed18f000c97098f735f26df2609b8485fe91c3d1cb2711ca1c987a955f5b340cf90ceffbbc2e5663794fe5ab3239d3c80 SHA512 5de4b4990d050fff655249d8ad11ba316640bb301854c526f7772146289a7505ec3cd59a6b7811a78b4d03b0bca7e70d0c6264ea06b2b59d11a790cbea3dfb0b AUX nim-sets.conf 162 BLAKE2B 976422f31cf8a64e1fad537f4db38a07e0022b9460936c63e0220cb3858ba02704857841d5010ad8c7bde0e6192c4c3c1329aeca8080a48a728e8b288cefc0fb SHA512 61a07de9973fc77998515bbb62498ffd1de991241bf32805f4acc0e4325e39d767ac862f2546757763aa8d0a7f35b95a9e1df91e6aa6f241eed6e93c8e3c46f0 DIST nim-2.0.8.tar.xz 7617556 BLAKE2B 96ab3e92c7c9d3dcb54de6528f2ae788f3ff4a927d693f2ca4917231441d85d12c8bda44c41c8f363979dbd0d8db54098648512caf7780bdc40e393c4f7803ec SHA512 e64abc379c046a9432515d1c8074a7e10ff72a1076663a5b7bdd39ae92852c98ba2cab96aa5e968fc31ca393e778e70b2392d6ab56bca7ac956d0176b4b69a83 DIST nim-2.2.0.tar.xz 7896912 BLAKE2B 671b1f5551e093933519797bbfe2875c1726a0cdd1b33288a9ab189fb966fdb21583027345e58ab13d7e7e85479aafc52340e8ddecd062aca4b4b8de6466b88e SHA512 56374815770b1b92bef3521471a3b1a8b810646eb7f978ff329075d64d231a7d1591a928c28407aa507f1b59375d539fc81b678b84f6b8b4a88ed274048ebf21 DIST nim-atlas-0.8.0.tar.gz 59097 BLAKE2B 231b238ac3b15cc2c2d9ad927f80ae72d8ae4c649277515f32df6cc04275ccd38db5307d627572af547501e6522c06c86dc279dc3e13b5385f14e24032f6fe69 SHA512 747c13e2c5bd45a1dc6c1426f8c7637f638ada9dd4c9aa3edf4ef8367060e73226dc4bcde6380fac25ed47ebf4097fd223c72fadc3cceba8c71dd0f0571e47eb -EBUILD nim-2.0.8.ebuild 4515 BLAKE2B bb5d9853831522b70bcdac9b1af83436e334b87d317656bcb80c23df088e0b7c12cc8b3fcaa07e782d26d0022e318cb905a495c5dc60ab84bb57fd245aa7d94f SHA512 c180a6712575768784b025ce79d9f863e5372244a956f30d5de6bb4b71622c845b010501c07a7bf62a4a26c55b6c59127c7dcf6651f98a5d06a504996105ae9b -EBUILD nim-2.2.0.ebuild 4494 BLAKE2B 0b2d9c26072adde1ca4e10c209116333ebe53d031ad1be1b1c2cb2e80827b2562a857724bd65839d26a2c529ba08e58770e1a34297a899ca6f4ba098f5c79861 SHA512 472386983567d071fe1fafcab347163fa3b0cfbb6e9a356fe9219a637d728b5f4206997be848d3703dfa59202886d5928a7be4156380e2f3672882780f699bba +EBUILD nim-2.0.8.ebuild 4516 BLAKE2B 07206721451f39505ff611379f04fdcae8eb6fba3d880aaad16fe1df117cd78cabb6c04697f8774c21a425206469e81336070d728a7dc8919c8f3bcd4abd6bb1 SHA512 b5441992666d3c6b33364942bb557c97e6724a57b591daa2f4bff457ad1cf6250c6b92991411a561e38bfac8df41847248e0da3768906d630deb4df35b8c8734 +EBUILD nim-2.2.0.ebuild 4495 BLAKE2B 14aa3f9749c4c2641d677a97b96e88d5b931cd1d2cdb760c60e4c8acafff1b20fa90906d015f2d57b5e51ea4f30b7927c6583b26eda3e17461a461a355a8b48d SHA512 b6049dde621b18077f29873fced28c5cf72ee384a1dafca393369e3a5a57f830939253de1d72ae8d29cc32f727e12a8268ba732538c50262616d6620afe2347c MISC metadata.xml 2093 BLAKE2B 250d27e71538be674ff7f32fe55089fca33f0d6ab55fdbe2b0f858f3d4373e729f273c16b2bf0bc3265be4289e7de1438096bf60e69bd0100e126fc5cc6173eb SHA512 74a188f13cc0653aa30d0c18126ed1cfb11d4325d71ffca6af03ad62b135796cd64d269e2ea85280cd1e486b527947b287eee4db648600451336e323882ff0e3 diff --git a/dev-lang/nim/files/nim-2.2.0-makefile.patch b/dev-lang/nim/files/nim-2.2.0-makefile.patch new file mode 100644 index 000000000000..e16b54b998c2 --- /dev/null +++ b/dev-lang/nim/files/nim-2.2.0-makefile.patch @@ -0,0 +1,11 @@ +--- a/makefile ++++ b/makefile +@@ -3,7 +3,7 @@ + # To regenerate run ``niminst csource`` or ``koch csource`` + + CC ?= gcc +-CFLAGS += -Ic_code -w -fmax-errors=3 -O3 -fno-strict-aliasing -fno-ident -fno-math-errno ++CFLAGS += -Ic_code -fno-strict-aliasing -fno-ident -fno-math-errno + LDFLAGS += + binDir = bin + diff --git a/dev-lang/nim/nim-2.0.8.ebuild b/dev-lang/nim/nim-2.0.8.ebuild index 02819c44e274..d922c4ede0a2 100644 --- a/dev-lang/nim/nim-2.0.8.ebuild +++ b/dev-lang/nim/nim-2.0.8.ebuild @@ -42,6 +42,8 @@ BDEPEND=" ) " +PATCHES=( "${FILESDIR}/${PN}-2.2.0-makefile.patch" ) + src_configure() { xdg_environment_reset # bug #667182 @@ -83,22 +85,19 @@ src_configure() { } src_compile() { - local -x PATH="${S}/bin:${PATH}" + emake CC="$(tc-getCC)" - edo ./build.sh --parallel "$(makeopts_jobs)" + local -x PATH="${S}/bin:${PATH}" + local -a nimflags=( + -d:release + --listCmd + --parallelBuild:$(makeopts_jobs) + ) - ebegin "Waiting for unfinished parallel jobs" - while [[ ! -f "bin/nim" ]] ; do - sleep 3 - done - sleep 10 - eend 0 - - edo chmod +x ./bin/nim - edo ./bin/nim compile -d:release koch - edo ./koch boot -d:nimUseLinenoise -d:release --skipParentCfg:off - edo ./koch tools -d:release - edo ./bin/nim compile -d:release ./tools/niminst/niminst.nim + edo ./bin/nim compile "${nimflags[@]}" koch + edo ./koch boot "${nimflags[@]}" -d:nimUseLinenoise --skipParentCfg:off + edo ./koch tools "${nimflags[@]}" + edo ./bin/nim compile "${nimflags[@]}" ./tools/niminst/niminst.nim } src_test() { diff --git a/dev-lang/nim/nim-2.2.0.ebuild b/dev-lang/nim/nim-2.2.0.ebuild index e2962efd86a9..a61554bf2851 100644 --- a/dev-lang/nim/nim-2.2.0.ebuild +++ b/dev-lang/nim/nim-2.2.0.ebuild @@ -39,6 +39,8 @@ BDEPEND=" ) " +PATCHES=( "${FILESDIR}/${PN}-2.2.0-makefile.patch" ) + src_configure() { xdg_environment_reset # bug #667182 @@ -80,22 +82,19 @@ src_configure() { } src_compile() { - local -x PATH="${S}/bin:${PATH}" + emake CC="$(tc-getCC)" - edo ./build.sh --parallel "$(makeopts_jobs)" + local -x PATH="${S}/bin:${PATH}" + local -a nimflags=( + -d:release + --listCmd + --parallelBuild:$(makeopts_jobs) + ) - ebegin "Waiting for unfinished parallel jobs" - while [[ ! -f "bin/nim" ]] ; do - sleep 3 - done - sleep 10 - eend 0 - - edo chmod +x ./bin/nim - edo ./bin/nim compile -d:release koch - edo ./koch boot -d:nimUseLinenoise -d:release --skipParentCfg:off - edo ./koch tools -d:release - edo ./bin/nim compile -d:release ./tools/niminst/niminst.nim + edo ./bin/nim compile "${nimflags[@]}" koch + edo ./koch boot "${nimflags[@]}" -d:nimUseLinenoise --skipParentCfg:off + edo ./koch tools "${nimflags[@]}" + edo ./bin/nim compile "${nimflags[@]}" ./tools/niminst/niminst.nim } src_test() { diff --git a/dev-lang/nprolog/Manifest b/dev-lang/nprolog/Manifest index 17ff928da440..ecf2160d6486 100644 --- a/dev-lang/nprolog/Manifest +++ b/dev-lang/nprolog/Manifest @@ -3,8 +3,10 @@ DIST nprolog-1.94.tar.gz 128172 BLAKE2B b3a2de8e5e247bce55fc6eabbd06dddee1d42d8d DIST nprolog-3.22.tar.gz 586822 BLAKE2B ac2e3e468de38c9d503c4670fd6aa5c61b93cca3f44fbd8f3668cd070563615d3567e009141f52577352a231d8f8d2713f2fc85979ff7ebd383817e8bbd0a610 SHA512 5f80d4fc9d08172d8555c57c4dd466037b0c878ff13c20b413f45859a614c1fed8ed3e4c75f68a2b9309fd09601d1ca56fb66a3f2a14d6378d194e85f8873cad DIST nprolog-3.30.tar.gz 593861 BLAKE2B 878082729facd8dc74e1d0c8c9c7158b40446172f449915c1799fe1061c9d812fad61fe89d9f6da4e5a51f0dd8e9fed571e8b36f3342b7906de79be34697bee4 SHA512 7837a43328b5285f8184147f93add1135331ae768ceccf6259ce9d694f6bf0f0fea9ca004ec6f7c6d3c43d3c58be61eb016dbb5834fa3fd685ebb3c600c6342d DIST nprolog-3.31.tar.gz 594055 BLAKE2B e83b3ef0a77851c93a5b549ef35ea1974f12ea16854c264295ac69a249a1b3c51c11902a7f94d85c829c8584e442588b78e236d10869ee1824f5f577dbe1d5c1 SHA512 5bcf5f42ccf0fdc3731f58618295bb18249012f5b4bb73612ca70f088c6f6a9bb515a8c0e3b365cc201486c2e191e0471d7b94beed055a848bad382f0c068a55 +DIST nprolog-3.32.tar.gz 595875 BLAKE2B e703cf1851cc1f1e6b07fdbb2f28e42c42f3f11cf1f64dbace2d3a264177c80454fda2457b8ba6f49af025ec05e6cfc0fa00b110cb0d70a39e820c7c621e2eb8 SHA512 21114f89e0e29cd0a08b45580f29eb490abdadbedd5ff500aeef2ee73f5ca321ec3617f27770072e72e71bf5e682db6759802d0590ed51b638e0e00c6a198ad0 EBUILD nprolog-1.94.ebuild 634 BLAKE2B 822935947e92f30d24d24df388dc6510d81d110a797308305a95192caf1ce0204228e392d5044b553dc1662df5ac263d59b06e06bc3d85d0111524feb29341be SHA512 7cf886165103e200e8acb05903df2cde5457bf0daaebe83c7098edc003cafa21ff285eff13bfd24eac6ffd142c334c5ef0abe18fe14e58752f1bfeb5bf9f760d EBUILD nprolog-3.22.ebuild 889 BLAKE2B 8b9ac031e349ee93be59b36a8654e718ac65954258ec03138b0e6e8c9b6ece5ef9378e7a6e641e716b2be75de337ef8d1e765d06ee2f5e685c5015cacd445523 SHA512 c3fe6314b02f2a6d9f6bc8ded5973f65e46061563a99a53a7aa8b7b7c134d95246ca6a70ac0cb51e6f8e56c23bb67d11809f05130795eb3f4659b219017d70fc EBUILD nprolog-3.30.ebuild 889 BLAKE2B 8b9ac031e349ee93be59b36a8654e718ac65954258ec03138b0e6e8c9b6ece5ef9378e7a6e641e716b2be75de337ef8d1e765d06ee2f5e685c5015cacd445523 SHA512 c3fe6314b02f2a6d9f6bc8ded5973f65e46061563a99a53a7aa8b7b7c134d95246ca6a70ac0cb51e6f8e56c23bb67d11809f05130795eb3f4659b219017d70fc EBUILD nprolog-3.31.ebuild 889 BLAKE2B 8b9ac031e349ee93be59b36a8654e718ac65954258ec03138b0e6e8c9b6ece5ef9378e7a6e641e716b2be75de337ef8d1e765d06ee2f5e685c5015cacd445523 SHA512 c3fe6314b02f2a6d9f6bc8ded5973f65e46061563a99a53a7aa8b7b7c134d95246ca6a70ac0cb51e6f8e56c23bb67d11809f05130795eb3f4659b219017d70fc +EBUILD nprolog-3.32.ebuild 889 BLAKE2B 8b9ac031e349ee93be59b36a8654e718ac65954258ec03138b0e6e8c9b6ece5ef9378e7a6e641e716b2be75de337ef8d1e765d06ee2f5e685c5015cacd445523 SHA512 c3fe6314b02f2a6d9f6bc8ded5973f65e46061563a99a53a7aa8b7b7c134d95246ca6a70ac0cb51e6f8e56c23bb67d11809f05130795eb3f4659b219017d70fc MISC metadata.xml 657 BLAKE2B 9331358542d57958385bc1218b4a1c5d38185ab0822d0cc68e51bcc5f8b00645a523a1a4f60d30188efc3ed7cb934f0a6a964d27bf0915c5956c69774c734590 SHA512 972ae4d1f2179887f77d8805f2e5482c17767e38b078fa9d9ee65a2f43e0b56b76fccd0166f4c5121de9a7cead4faa7683bd8e9076c257ffb2d1deb673eb276e diff --git a/dev-lang/nprolog/nprolog-3.32.ebuild b/dev-lang/nprolog/nprolog-3.32.ebuild new file mode 100644 index 000000000000..39a1d076726e --- /dev/null +++ b/dev-lang/nprolog/nprolog-3.32.ebuild @@ -0,0 +1,49 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit toolchain-funcs + +DESCRIPTION="Interpreter and compiler to be compatible with Arity/Prolog32" +HOMEPAGE="https://github.com/sasagawa888/nprolog/" + +if [[ "${PV}" == *9999* ]] ; then + inherit git-r3 + + EGIT_REPO_URI="https://github.com/sasagawa888/${PN}.git" +else + SRC_URI="https://github.com/sasagawa888/nprolog/archive/v${PV}.tar.gz + -> ${P}.tar.gz" + + KEYWORDS="~amd64 ~x86" +fi + +LICENSE="BSD-2" +SLOT="0" + +PATCHES=( "${FILESDIR}/${PN}-3.22-ncursesw.patch" ) + +DOCS=( README{,-ja}.md document ) + +src_prepare() { + if [[ -f edlog ]] ; then + rm edlog || die + fi + + default +} + +src_compile() { + emake CC="$(tc-getCC)" CFLAGS="${CFLAGS}" LDFLAGS="${LDFLAGS}" +} + +src_install() { + exeinto /usr/bin + doexe npl + + insinto "/usr/share/${PN}" + doins -r example library + + einstalldocs +} diff --git a/dev-lang/python/Manifest b/dev-lang/python/Manifest index 438f57333650..60857f9edab6 100644 --- a/dev-lang/python/Manifest +++ b/dev-lang/python/Manifest @@ -31,7 +31,7 @@ EBUILD python-3.11.10_p1.ebuild 16633 BLAKE2B 9341f71a960b419b368c9c3caec0623f37 EBUILD python-3.12.6_p2.ebuild 15655 BLAKE2B 9ceebbb512c0bf287463638291ef71da965cbcc8e57064fc9b05fb0b8e220c96a27b3af336909c72a430c20e4e5b34f7b4467b41b18ceac67938f8eb08631efd SHA512 f4a9ae7f3a2d7c8e4050a291145d32b8e76847d8f73886d9fbedca63061fdf7bd8f8b6337831bca14c5f49eb48a128c8642b8f0c19e34c08ff385d3f8a9b2f27 EBUILD python-3.12.6_p4.ebuild 15592 BLAKE2B 4fd16b8532f833fb4d5773041932412eed943284d9da8b2ddc7f9c93eebba68843ec226c839185b59d4c5ed71c37284ba2cb3e705fbbbc46c92d28b6cf0f4e17 SHA512 a8a5104fe2c488b36a62c954307c0f56594c7c678351647686542d2e29965ef40ad107779ffb6639c02ed2f7bda3b31182039b06ba1ade3be6917796ec737ca4 EBUILD python-3.12.7_p1.ebuild 15599 BLAKE2B 7cb1e514a919f133e531973903e6f4045c78c1f16a243e8bd4b994bad2178f215605cbcc86187c1b65b543baeda5b4f1f1a063f7bbff5e86db442604157e89ab SHA512 04aa7ffd26bbf691f4536e6cb243643670e30060c302bd002b5af87000156a235987268b07ed70fcc603c1f6330d015d08e1dfee8db884a05252c99c7ff39d99 -EBUILD python-3.13.0-r100.ebuild 16969 BLAKE2B a2eb00a4cc741187427095069f87904b79ec3b5465444278bf418da61f6f0b0f2e8bb851f91a02bb19089a972afdaba51ded296868be99b42d85ae46214cf92a SHA512 0652dac9338fe0242068ebecc51113f9d75d8220c8ef4e20b6a5306ba146cd3b8b629431c9182683b3065a0d2d448ae1687f0555af927528f3af9eb54e7230fb +EBUILD python-3.13.0-r100.ebuild 16971 BLAKE2B b9b86f390a824d1f06f13a340fc553e7783337b6955f40ec0fb21de152f89be02a53f89328bf2291eb0f77cc0240f2415b8b15aac18eebf2ee07b92440af6a2c SHA512 ebc9a643520ddbed7c11d306e69d78324f5cfbc5174d382452278421f190ca7d0d2d9abcdf2b442aa7adfe5a118e058efbec39c077eaf1d112f4711ffe91ad46 EBUILD python-3.13.0.ebuild 17281 BLAKE2B 22734ff4c613afae90118343996fff5ce89af755230342a3b192ce722ae00b3cfdbdf36cca09d019a96fe2b1a762c49ca4b56f08a7df06b1a3e27a3b265bd3db SHA512 6f547fb3f6468622698bc7a8e50f0cfa7b46264c0b29444c342b45e32c871758245dd8c6df6d7e893cdc7e49685c77af445f12e1dd8da303bcc71d0da57e9e2a EBUILD python-3.8.20_p2.ebuild 13269 BLAKE2B faa45db39b14c07e619a746dfc65ac8369390b67e763357b9dd1806af89d880a5007cdc9c8a13c6979cce2d59bd2b3be725c440ee4c2b83e7fd166ba26645695 SHA512 e64f3ea4d4f867c6a8cd7c1cf6f60e791c0c20ca98cda97dce06a73fc83de54e9f6572f5005822c3b82f2d56630678864b8896d485080a220bf7121fc2e83eaa EBUILD python-3.9.20_p1.ebuild 15295 BLAKE2B bf70dacfc1078c4a29a243cbb33aea78bb51580e3a706a34a6b50aadb0d40530e28872b2155c0b87d6e283c3832c2c49491e06c045442acb32fb12a17619448d SHA512 e23bb214a15d8353c47bb305893bb2f86109f648bcd0fff60bf29e4047d527cb6a873168c73203661c803bd1ff53e8ed88527a4e4d7de8a13d399bc4a290879d diff --git a/dev-lang/python/python-3.13.0-r100.ebuild b/dev-lang/python/python-3.13.0-r100.ebuild index 2a2a04b6739e..6c78c5cb367b 100644 --- a/dev-lang/python/python-3.13.0-r100.ebuild +++ b/dev-lang/python/python-3.13.0-r100.ebuild @@ -110,7 +110,7 @@ VERIFY_SIG_OPENPGP_KEY_PATH=/usr/share/openpgp-keys/python.org.asc # large file tests involve a 2.5G file being copied (duplicated) CHECKREQS_DISK_BUILD=5500M -QA_PKGCONFIG_VERSION=${PYVER} +QA_PKGCONFIG_VERSION=${PYVER%t} # false positives -- functions specific to *BSD QA_CONFIG_IMPL_DECL_SKIP=( chflags lchflags ) |