[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit:     f610854f19a7d7aa140af095a9898c77ad154d73
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Oct  4 01:21:18 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Oct  4 01:50:24 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f610854f

dev-lang/boogie: add z3 dependency and debug USE flag

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 .../{boogie-2.15.8.ebuild => boogie-2.15.8-r1.ebuild}     | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/dev-lang/boogie/boogie-2.15.8.ebuild 
b/dev-lang/boogie/boogie-2.15.8-r1.ebuild
similarity index 75%
rename from dev-lang/boogie/boogie-2.15.8.ebuild
rename to dev-lang/boogie/boogie-2.15.8-r1.ebuild
index 791a595d8262..2bfc10a32fcf 100644
--- a/dev-lang/boogie/boogie-2.15.8.ebuild
+++ b/dev-lang/boogie/boogie-2.15.8-r1.ebuild
@@ -18,9 +18,13 @@ S="${S}"/Source
 LICENSE="MIT"
 SLOT="0"
 KEYWORDS="~amd64"
+IUSE="debug"
 
-RDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}"
-BDEPEND="${RDEPEND}"
+BDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}"
+RDEPEND="
+       ${BDEPEND}
+       sci-mathematics/z3
+"
 
 # Generated by dotnet.
 QA_PREBUILT="/usr/share/boogie/BoogieDriver"
@@ -28,19 +32,20 @@ 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
-       export DOTNET_OUTPUT="${WORKDIR}"/${P}_net${DOTNET_COMPAT}_Release/${PN}
 
        default
 }
 
 src_configure() {
-       edob dotnet restore
+       edob dotnet restore -p:TargetFramework=net${DOTNET_COMPAT}
 }
 
 src_compile() {
        local myopts=(
-               --configuration Release
+               --configuration ${DOTNET_CONFIGURATION}
                --no-restore
                --no-self-contained
                --nologo