From 07b0c0005f55e652101816d9f4cfe73403bf0906 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Tue, 4 Oct 2022 19:18:10 +0100
Subject: gentoo auto-resync : 04:10:2022 - 19:18:10

---
 dev-lang/boogie/Manifest                |  2 +-
 dev-lang/boogie/boogie-2.15.8-r1.ebuild | 63 -------------------------------
 dev-lang/boogie/boogie-2.15.8-r2.ebuild | 66 +++++++++++++++++++++++++++++++++
 3 files changed, 67 insertions(+), 64 deletions(-)
 delete mode 100644 dev-lang/boogie/boogie-2.15.8-r1.ebuild
 create mode 100644 dev-lang/boogie/boogie-2.15.8-r2.ebuild

(limited to 'dev-lang/boogie')

diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 2bf5ed96bfd1..9ff4fbd1200b 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,4 +1,4 @@
 DIST boogie-2.15.8-deps.tar.xz 71100772 BLAKE2B 1249627710fe0cc08c640ac7fe5e518793d237291810dc2df5d26bae2a4fd0fec15f0529b6fb799231002881665c2b2cf66b3a6a88494c780e96e51d78086959 SHA512 ee8df5693264c6b6e925f966a85e312e2df80d121c6e81786e7672d1591cdab8a66601c7d740df9db9704330a82f5aa01982d758cc4d5f151838be41c4d0b76f
 DIST boogie-2.15.8.tar.gz 1548233 BLAKE2B cd3d46b6702eb9c16cdb94ae9776ee52bb142be57e3b0dfd014e59c2f3a98aec84d891544cbd239d773c49ac6bc0b3e1eb5e1eb5cda1f1a0b9aa029f0ee674f2 SHA512 5e214a6451b0ac6a33088797957661cdb35e7fc99f880935f0f1d9329975c11a0849f5ba6244e90f528e6cc31dc2fc83636506130f59464889bf04ecf6130990
-EBUILD boogie-2.15.8-r1.ebuild 1417 BLAKE2B 41e8b82fd412a7ecdc87d6c61ce0af4db83c3a07f8b897d39080cc1cb1e20720fd6f9b59fe4b562bdb2f8e7554cd174cc9c201a6e80df822620437ea20eebe6c SHA512 e828654c2b9bd17896c859fa3c42b02beb3b7a3e39bbfe9b436a6347b502bab37058c293e7a1d40fca4415094389052932a1c80e445f4eea5edef1a703e3f522
+EBUILD boogie-2.15.8-r2.ebuild 1434 BLAKE2B 223e139aae70ef7493e8ac72ae4ed0fcdcee119786eb11701d55043152aee30c5e22bfbdb3bd542464c9ae5e75a93dd395450503dd3ae4923643c3f26f2a6b79 SHA512 46d6c18a7822a50c406324a202e846b8d408e1eacd5108d0e7ff37c599d2853f73668c6587f71e78701793085ceb1ab683d9f5e689df9b903c42c04223737124
 MISC metadata.xml 1090 BLAKE2B 838630d17f9e2aa9d8d329f5f6da0e2f00636c3e01ceb02e10f06d3b53b722859818343c6a6936e1d2a495b9ec8d77b729f03dfbc0e017dace31116dccee4ff7 SHA512 e66f1077862a81efd0e311d6e2a2f0b4cd5fd650748c4232e3d70cbd982685bf03da616092929686589e115a4fe3ba2d52c420b416222ccae221469ca2d5face
diff --git a/dev-lang/boogie/boogie-2.15.8-r1.ebuild b/dev-lang/boogie/boogie-2.15.8-r1.ebuild
deleted file mode 100644
index 2bfc10a32fcf..000000000000
--- a/dev-lang/boogie/boogie-2.15.8-r1.ebuild
+++ /dev/null
@@ -1,63 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DOTNET_COMPAT=6.0
-
-inherit edo multiprocessing
-
-DESCRIPTION="SMT-based program verifier"
-HOMEPAGE="https://github.com/boogie-org/boogie/"
-SRC_URI="
-	https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz
-	https://dev.gentoo.org/~xgqt/distfiles/deps/${P}-deps.tar.xz
-"
-S="${S}"/Source
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="~amd64"
-IUSE="debug"
-
-BDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}"
-RDEPEND="
-	${BDEPEND}
-	sci-mathematics/z3
-"
-
-# Generated by dotnet.
-QA_PREBUILT="/usr/share/boogie/BoogieDriver"
-
-src_prepare() {
-	export DOTNET_CLI_TELEMETRY_OPTOUT=1
-	export DOTNET_NOLOGO=1
-	export DOTNET_CONFIGURATION=$(usex debug Debug Release)
-	export DOTNET_OUTPUT="${WORKDIR}"/${P}_net${DOTNET_COMPAT}_${DOTNET_CONFIGURATION}/${PN}
-	export NUGET_PACKAGES="${S}"/nuget_packages
-
-	default
-}
-
-src_configure() {
-	edob dotnet restore -p:TargetFramework=net${DOTNET_COMPAT}
-}
-
-src_compile() {
-	local myopts=(
-		--configuration ${DOTNET_CONFIGURATION}
-		--no-restore
-		--no-self-contained
-		--nologo
-		--output "${DOTNET_OUTPUT}"
-		-consoleLoggerParameters:ErrorsOnly
-		-maxCpuCount:$(makeopts_jobs)
-	)
-	edob dotnet build ${myopts[@]}
-}
-
-src_install() {
-	mkdir -p "${ED}"/usr/share/ || die
-	cp -r "${DOTNET_OUTPUT}" "${ED}"/usr/share/ || die
-	dosym -r /usr/share/${PN}/BoogieDriver /usr/bin/boogie
-}
diff --git a/dev-lang/boogie/boogie-2.15.8-r2.ebuild b/dev-lang/boogie/boogie-2.15.8-r2.ebuild
new file mode 100644
index 000000000000..e1dc3d6dcd95
--- /dev/null
+++ b/dev-lang/boogie/boogie-2.15.8-r2.ebuild
@@ -0,0 +1,66 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_COMPAT=6.0
+
+inherit edo multiprocessing
+
+DESCRIPTION="SMT-based program verifier"
+HOMEPAGE="https://github.com/boogie-org/boogie/"
+SRC_URI="
+	https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz
+	https://dev.gentoo.org/~xgqt/distfiles/deps/${P}-deps.tar.xz
+"
+S="${S}"/Source
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="~amd64"
+IUSE="debug"
+
+BDEPEND="
+	dev-libs/icu
+	virtual/dotnet-sdk:${DOTNET_COMPAT}
+"
+RDEPEND="
+	${BDEPEND}
+	sci-mathematics/z3
+"
+
+# Generated by dotnet.
+QA_PREBUILT="/usr/share/boogie/BoogieDriver"
+
+src_prepare() {
+	export DOTNET_CLI_TELEMETRY_OPTOUT=1
+	export DOTNET_NOLOGO=1
+	export DOTNET_CONFIGURATION=$(usex debug Debug Release)
+	export DOTNET_OUTPUT="${WORKDIR}"/${P}_net${DOTNET_COMPAT}_${DOTNET_CONFIGURATION}/${PN}
+	export NUGET_PACKAGES="${S}"/nuget_packages
+
+	default
+}
+
+src_configure() {
+	edob dotnet restore -p:TargetFramework=net${DOTNET_COMPAT}
+}
+
+src_compile() {
+	local myopts=(
+		--configuration ${DOTNET_CONFIGURATION}
+		--no-restore
+		--no-self-contained
+		--nologo
+		--output "${DOTNET_OUTPUT}"
+		-consoleLoggerParameters:ErrorsOnly
+		-maxCpuCount:$(makeopts_jobs)
+	)
+	edob dotnet build ${myopts[@]}
+}
+
+src_install() {
+	mkdir -p "${ED}"/usr/share/ || die
+	cp -r "${DOTNET_OUTPUT}" "${ED}"/usr/share/ || die
+	dosym -r /usr/share/${PN}/BoogieDriver /usr/bin/boogie
+}
-- 
cgit v1.2.3