dev-lang/boogie: bump to 3.0.8

Signed-off-by: Maciej Barć <[email protected]>
johu · Nov 29, 2023 · af213f5 · af213f5
1 parent 13f8734
commit af213f5
Show file tree

Hide file tree

Showing 2 changed files with 299 additions and 0 deletions.
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
@@ -1,6 +1,7 @@
 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 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

diff --git a/dev-lang/boogie/boogie-3.0.8.ebuild b/dev-lang/boogie/boogie-3.0.8.ebuild
@@ -0,0 +1,298 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_PKG_COMPAT=8.0
+NUGETS="
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+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
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+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
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+[email protected]
+"
+
+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/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
+}