From 909e6f36d5376b253aba44edc8f2af1a5acd0c11 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 8 Dec 2023 11:11:23 +0000 Subject: gentoo auto-resync : 08:12:2023 - 11:11:23 --- dev-lang/boogie/Manifest | 4 +- dev-lang/boogie/boogie-3.0.7.ebuild | 288 ---------------------------------- dev-lang/boogie/boogie-3.0.9.ebuild | 299 ++++++++++++++++++++++++++++++++++++ 3 files changed, 301 insertions(+), 290 deletions(-) delete mode 100644 dev-lang/boogie/boogie-3.0.7.ebuild create mode 100644 dev-lang/boogie/boogie-3.0.9.ebuild (limited to 'dev-lang/boogie') diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index 7cec4cd488ce..36f1cba16802 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.5.tar.gz 2024714 BLAKE2B 453b09d9275923e8bed6ef80b1e331ee3a16e3ebfc7f2f454a989fa1242c5221c9a9d322b4306b11749b9ab48e012cc30cbf4d965413dc96e5bcdf52e6679f95 SHA512 212b561597ba8dea4c2ff1d073c317eb6f880c28588f032f65f3ad620a68fbf137e5cc9a20947a9f7af6f00e7543aeb56f09699ae179cfc7c4df63f825102d44 DIST boogie-3.0.6.tar.gz 2023821 BLAKE2B 0d11c5f33d25e55debb5ec2a9fc99881bc4781f69da091f157f55a13e5a26e6562c9ef8c5ebeb5e0cf307d5c6ddaeb36918a0d1e6f5a740829811291b7fd92c5 SHA512 dd2f075a9f34212edd7ca57872cc1b240fac0814c3fbbe27aa1c3ad2a4133dcdbc432c9b49db56416f700a1c0caf2a99225af35f9dfe92115b783916979a43f0 -DIST boogie-3.0.7.tar.gz 2040955 BLAKE2B ae5abfadefea49669809c22844f9749058c1751434a22fd93c3a9d1f167ad99aed2143d15d206c5b062305f7f145b9d6d1f2e88b145d47505a6c8153d433d480 SHA512 dfd9c684a0d9d4058c4b95cba67eaebf836fc39b78d742bfc8c92982c9314672c1c3b3f54b6a69b709e3b3a2226999994ce857130d609e59db3b5fe45672d693 DIST boogie-3.0.8.tar.gz 2041785 BLAKE2B 0e6343ccf9f1432a19420d8358eea8aed754583f7a5e2343d47515f5377856d288088238d9f1d61a4cb05b3bff1a860dfdb654344007da5517b9c3f30d33b071 SHA512 31e80bb657f8b8dbcc127b1a6ed0a3a789b1de762b3db7d3d2f002d52a81486d716204816ff5bcc5680a76b8edb0b99651f996193bbdab40746f437bb20a3d46 +DIST boogie-3.0.9.tar.gz 2044403 BLAKE2B 80062b0de01899902a591debe68d8557897295f79535804d5c029f916aad3eb286681b011d30313090444ce73db5e76c9703583f9b3929dd157a0625215de599 SHA512 78e7fac6fa98a39c0c19b0d805d8dc6ff273bda26088616eb8277778224213ac00faf145527d22d6c3941b25d197ce9be19278e97a8fc4c2d222b1686dc125f1 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 @@ -196,6 +196,6 @@ DIST system.xml.xpath.xmldocument.4.0.1.nupkg 86933 BLAKE2B 4c03b5a9433c2c954e75 DIST system.xml.xpath.xmldocument.4.3.0.nupkg 138523 BLAKE2B ba53f3b5ac0f2d1d1e9120940b302e6960690ed4a44b96ba15b03e16f9159f2c57d6004aa55b796ba2327009d23fc2f10d4d09e948b88eb6af36efa5f76e401b SHA512 f75b6f7c75874ab6053e8942c1662a6e9a3561aa01502437b8d67f3bfcebd1ebf906792801326889ed7acb094c55469766d7d27cd10bc61b46ddaaa94dfc11e3 EBUILD boogie-3.0.5.ebuild 9012 BLAKE2B 0783ce4ca8e4c0b3adebdb381cc256a062a6708522fcb61b8eae6488ef980c6ddc94f454e0c3f8c80ce1549824ead0ecdbbd164d6a259c4598ded80452c0ecee SHA512 b95139529d07688c7fa8d3b46df2956c2afef76ee99ac939bdd2e93edbc8cdd5ca228a780c781d6473116e6eec1f1d16c3e1f3aaacebeb23f976edf6d683d73f EBUILD boogie-3.0.6.ebuild 9047 BLAKE2B 50fdab6ce7331e1803b8d39810cf745d1d25881b41f43d07c01a6058227b7d2aa66064ecc72e98e14066c7b77c72a883a01de37a54443566c1d5639f169176a6 SHA512 ae9b8722dfe02048fa20c63a28030f1fef50d118d7f80541bf6bd45d26048d2e212eadd834963aa9c40587c2a70f3121f8665ef0522d53eea2866a8a06c8b537 -EBUILD boogie-3.0.7.ebuild 9047 BLAKE2B 50fdab6ce7331e1803b8d39810cf745d1d25881b41f43d07c01a6058227b7d2aa66064ecc72e98e14066c7b77c72a883a01de37a54443566c1d5639f169176a6 SHA512 ae9b8722dfe02048fa20c63a28030f1fef50d118d7f80541bf6bd45d26048d2e212eadd834963aa9c40587c2a70f3121f8665ef0522d53eea2866a8a06c8b537 EBUILD boogie-3.0.8.ebuild 9207 BLAKE2B e30a4bcc0bf12884c887d3c4283c52dc6e8fc6053372e45d2e0495647b102fff8fa30ea3a6c33b467a64d4181d99e26336f28623c14aa5b75f3bc091509d59dc SHA512 a932037627a3546e200cb0d5b5a2647acba9069b943d68812d66a6abb3cafbfe7fe1b07f8565d58c0976218ed9cfaa4af18254918e9a0659200877cc621a4506 +EBUILD boogie-3.0.9.ebuild 9229 BLAKE2B aef5c35881a17a2594060adfad5b17cf5aefd9fbbebcd09f6d93a32bcced68508095c6e6e9ac293d71d1c34f8b47e09f74d00ac2eb3138a24d03a041b87ae76d SHA512 aa78521d95c675d004d2cd249f5d28bd4fa1801ce644bed06e094631658122e3b10baca9786708f24a48d699a0dda8e1419653f4a0c28c70211083c6740cc52b MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d diff --git a/dev-lang/boogie/boogie-3.0.7.ebuild b/dev-lang/boogie/boogie-3.0.7.ebuild deleted file mode 100644 index 1b08f8717817..000000000000 --- a/dev-lang/boogie/boogie-3.0.7.ebuild +++ /dev/null @@ -1,288 +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 - 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/boogie/boogie-3.0.9.ebuild b/dev-lang/boogie/boogie-3.0.9.ebuild new file mode 100644 index 000000000000..d43d6b2020ca --- /dev/null +++ b/dev-lang/boogie/boogie-3.0.9.ebuild @@ -0,0 +1,299 @@ +# Copyright 1999-2023 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/z3mutl.bpl + test0/MaxKeepGoingSplits.bpl + test15/CaptureInlineUnroll.bpl + test15/CaptureState.bpl + test15/CommonVariablesPruning.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 +} -- cgit v1.2.3