mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-08-24 06:48:18 -07:00
dev-lang/boogie: bump to 3.4.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć
@@ -2,6 +2,7 @@ DIST boogie-3.2.5.tar.gz 2067333 BLAKE2B 2014351c53fa9a7fcea6cc11f8d236b398b9f44
|
||||
DIST boogie-3.3.3.tar.gz 2067837 BLAKE2B 36e004327cccf74326e650aff8f9d059b285510a7be0d426a9baf9a49e585ffd720fc03d7716c848ad7024971195d99de2203a7c87d88edcbdc7fc76afa50c66 SHA512 b50154b880063df408694e59d21887d82a6885fc124971e9cf5194cd82ef6c9384e6579aff38d524663c3b504f7bea20fc216de6ee4bfdff17b41e5d7a78e47a
|
||||
DIST boogie-3.4.1.tar.gz 2078182 BLAKE2B 21540c9326db2ebea568f109b10942c9bee1f9efd445c912261a1158b3a87624ddac2436bcbd4a68e9df64a9af82c6b050ec070d64f90b4a8d87ec24382ce6dd SHA512 3225d08f7d87a71d788e3e94d2f8df2867ad0e54047bd2b6b35f224ff5aa4d793bc0745c33f8e7a3a72b11334328f71756eca3b48ca476eae4e6134aa0a047b0
|
||||
DIST boogie-3.4.2.tar.gz 2078742 BLAKE2B e12ad3b464ab9c401fafa89023cc9bbb4687ca514e3c2d07ea6daf0a12f6ec7d478e74e78820beb15f567d0ae5a27a9d6b0819bc97d3bfe2fae5b0093786010d SHA512 5c020692e340b95e54f5203724c16262d847fd6737d12e7dc20765f07d514a31e91e6bb26334277f81d22f4f62acb9980cc9d5aff9b2a8130eda99497f5612cf
|
||||
DIST boogie-3.4.3.tar.gz 2083291 BLAKE2B 802315359afa17533cdf80f41a74d85067bc6b4d497e88bad89892f7cf8831a1564381a65852bdbba3e1c2b70303f9984ed9584dd3aac9c3f1ad085d41db8acc SHA512 39682dc7efc5cd2d9d0501fdaef345f4cbb01c2a92fc228fb2eff6177f373ba534097a17d009d144e3480aa67bd0f95423dfef4188a39803363bb7eac89af444
|
||||
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
|
||||
|
||||
310
dev-lang/boogie/boogie-3.4.3.ebuild
Normal file
310
dev-lang/boogie/boogie-3.4.3.ebuild
Normal file
@@ -0,0 +1,310 @@
|
||||
# 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/shared-vector.bpl
|
||||
civl/large-samples/verified-ft.bpl
|
||||
civl/paxos/is.sh
|
||||
civl/samples/reserve.bpl
|
||||
havoc0/MouCreateClassObject.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
|
||||
}
|
||||
Reference in New Issue
Block a user