diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-10-04 03:21:18 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-10-04 03:50:24 +0200 |
| commit | f610854f19a7d7aa140af095a9898c77ad154d73 (patch) | |
| tree | 868a8b1127176d07d318a87e886072f92cbe1ea4 /dev-lang/boogie | |
| parent | sys-libs/rpmatch-standalone: fix blocker (diff) | |
| download | gentoo-f610854f19a7d7aa140af095a9898c77ad154d73.tar.gz gentoo-f610854f19a7d7aa140af095a9898c77ad154d73.tar.bz2 gentoo-f610854f19a7d7aa140af095a9898c77ad154d73.zip | |
dev-lang/boogie: add z3 dependency and debug USE flag
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/boogie')
| -rw-r--r-- | dev-lang/boogie/boogie-2.15.8-r1.ebuild (renamed from dev-lang/boogie/boogie-2.15.8.ebuild) | 15 |
1 files 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 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 |