From: "Maciej Barć" <xgqt@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/
Date: Wed, 27 Dec 2023 23:44:46 +0000 (UTC) [thread overview]
Message-ID: <1703720680.cca4166904dd005021c360c4cb71deb23b51a366.xgqt@gentoo> (raw)
commit: cca4166904dd005021c360c4cb71deb23b51a366
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Dec 27 23:39:25 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Dec 27 23:44:40 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cca41669
dev-lang/boogie: drop old 3.0.5
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/boogie/Manifest | 1 -
dev-lang/boogie/boogie-3.0.5.ebuild | 287 ------------------------------------
2 files changed, 288 deletions(-)
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 84bc868793c0..28515f70d46b 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,4 +1,3 @@
-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 boogie-3.0.8.tar.gz 2041785 BLAKE2B 0e6343ccf9f1432a19420d8358eea8aed754583f7a5e2343d47515f5377856d288088238d9f1d61a4cb05b3bff1a860dfdb654344007da5517b9c3f30d33b071 SHA512 31e80bb657f8b8dbcc127b1a6ed0a3a789b1de762b3db7d3d2f002d52a81486d716204816ff5bcc5680a76b8edb0b99651f996193bbdab40746f437bb20a3d46
DIST boogie-3.0.9.tar.gz 2044403 BLAKE2B 80062b0de01899902a591debe68d8557897295f79535804d5c029f916aad3eb286681b011d30313090444ce73db5e76c9703583f9b3929dd157a0625215de599 SHA512 78e7fac6fa98a39c0c19b0d805d8dc6ff273bda26088616eb8277778224213ac00faf145527d22d6c3941b25d197ce9be19278e97a8fc4c2d222b1686dc125f1
diff --git a/dev-lang/boogie/boogie-3.0.5.ebuild b/dev-lang/boogie/boogie-3.0.5.ebuild
deleted file mode 100644
index 0bcacffb7c72..000000000000
--- a/dev-lang/boogie/boogie-3.0.5.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
-}
next reply other threads:[~2023-12-27 23:44 UTC|newest]
Thread overview: 90+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-12-27 23:44 Maciej Barć [this message]
-- strict thread matches above, loose matches on Subject: below --
2025-06-27 0:52 [gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/ Maciej Barć
2025-06-15 2:07 Sam James
2025-05-16 20:38 Maciej Barć
2025-05-05 15:14 Maciej Barć
2025-05-05 15:14 Maciej Barć
2025-04-28 5:11 Sam James
2025-03-16 21:11 Maciej Barć
2025-03-16 21:11 Maciej Barć
2025-03-16 21:11 Maciej Barć
2025-03-16 21:11 Maciej Barć
2025-03-16 21:11 Maciej Barć
2024-12-28 16:01 Sam James
2024-11-14 23:40 Maciej Barć
2024-10-25 18:52 Maciej Barć
2024-10-25 18:52 Maciej Barć
2024-10-23 17:03 Sam James
2024-10-23 15:44 Maciej Barć
2024-10-23 15:44 Maciej Barć
2024-10-15 14:30 Maciej Barć
2024-10-13 19:23 Maciej Barć
2024-10-08 23:07 Maciej Barć
2024-10-08 23:07 Maciej Barć
2024-09-27 5:30 Arthur Zamarin
2024-09-12 12:08 Maciej Barć
2024-09-12 12:08 Maciej Barć
2024-09-12 12:08 Maciej Barć
2024-09-03 18:32 Jakov Smolić
2024-08-24 13:12 Michał Górny
2024-08-16 16:21 Maciej Barć
2024-08-16 16:21 Maciej Barć
2024-08-10 18:55 Arthur Zamarin
2024-07-31 0:03 Maciej Barć
2024-07-19 11:02 Maciej Barć
2024-07-04 12:44 Maciej Barć
2024-06-27 22:42 Maciej Barć
2024-06-25 22:03 Sam James
2024-05-23 22:08 Maciej Barć
2024-05-23 22:08 Maciej Barć
2024-05-23 22:08 Maciej Barć
2024-05-18 3:19 Sam James
2024-04-24 17:10 Maciej Barć
2024-04-24 17:10 Maciej Barć
2024-04-17 23:11 Sam James
2024-04-13 22:56 Maciej Barć
2024-04-13 22:56 Maciej Barć
2024-04-13 22:56 Maciej Barć
2024-04-13 22:56 Maciej Barć
2024-04-11 4:55 Arthur Zamarin
2024-03-13 16:40 Maciej Barć
2024-03-10 0:29 Maciej Barć
2024-03-08 22:18 Maciej Barć
2024-03-08 22:18 Maciej Barć
2024-03-08 13:09 Arthur Zamarin
2024-03-05 18:46 Maciej Barć
2024-03-05 18:46 Maciej Barć
2024-03-04 21:58 Maciej Barć
2024-03-04 21:58 Maciej Barć
2024-02-27 23:57 Sam James
2024-02-19 20:54 Maciej Barć
2024-02-10 16:24 Maciej Barć
2024-02-03 8:22 Arthur Zamarin
2024-02-02 23:06 Maciej Barć
2024-02-02 23:06 Maciej Barć
2024-01-27 20:06 Ionen Wolkens
2024-01-22 22:19 Maciej Barć
2024-01-12 23:22 Maciej Barć
2023-12-27 23:44 Maciej Barć
2023-12-08 8:31 Maciej Barć
2023-12-08 8:31 Maciej Barć
2023-11-29 19:31 Maciej Barć
2023-11-21 18:37 Maciej Barć
2023-11-16 23:38 Maciej Barć
2023-11-16 23:38 Maciej Barć
2023-11-13 22:04 Sam James
2023-10-11 0:19 Maciej Barć
2023-10-07 22:39 Maciej Barć
2023-09-17 22:37 Maciej Barć
2023-09-16 14:48 Maciej Barć
2023-09-15 20:49 Maciej Barć
2023-06-19 18:29 Maciej Barć
2023-06-19 18:29 Maciej Barć
2023-02-28 18:03 Maciej Barć
2022-11-28 20:33 Maciej Barć
2022-11-18 0:53 Maciej Barć
2022-10-06 20:56 Maciej Barć
2022-10-06 14:27 Maciej Barć
2022-10-04 15:24 Maciej Barć
2022-10-04 1:50 Maciej Barć
2022-10-03 21:38 Maciej Barć
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1703720680.cca4166904dd005021c360c4cb71deb23b51a366.xgqt@gentoo \
--to=xgqt@gentoo.org \
--cc=gentoo-commits@lists.gentoo.org \
--cc=gentoo-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox