From 0b4089e67b207d2f37d2dc9c7d18228165684f52 Mon Sep 17 00:00:00 2001
From: Maciej Barć <xgqt@gentoo.org>
Date: Tue, 4 Oct 2022 17:22:21 +0200
Subject: dev-lang/boogie: add icu dependency
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Closes: https://bugs.gentoo.org/874810
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
---
 dev-lang/boogie/boogie-2.15.8-r1.ebuild | 63 -------------------------------
 dev-lang/boogie/boogie-2.15.8-r2.ebuild | 66 +++++++++++++++++++++++++++++++++
 2 files changed, 66 insertions(+), 63 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/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-65-gdbad