diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-10-04 17:22:21 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-10-04 17:24:45 +0200 |
| commit | 0b4089e67b207d2f37d2dc9c7d18228165684f52 (patch) | |
| tree | 097917aad5e94050b07f8ae4934f516d38238012 /dev-lang/boogie | |
| parent | sys-kernel/gentoo-sources: add 5.19.13 (diff) | |
| download | gentoo-0b4089e67b207d2f37d2dc9c7d18228165684f52.tar.gz gentoo-0b4089e67b207d2f37d2dc9c7d18228165684f52.tar.bz2 gentoo-0b4089e67b207d2f37d2dc9c7d18228165684f52.zip | |
dev-lang/boogie: add icu dependency
Closes: https://bugs.gentoo.org/874810
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/boogie')
| -rw-r--r-- | dev-lang/boogie/boogie-2.15.8-r2.ebuild (renamed from dev-lang/boogie/boogie-2.15.8-r1.ebuild) | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/dev-lang/boogie/boogie-2.15.8-r1.ebuild b/dev-lang/boogie/boogie-2.15.8-r2.ebuild index 2bfc10a32fcf..e1dc3d6dcd95 100644 --- a/dev-lang/boogie/boogie-2.15.8-r1.ebuild +++ b/dev-lang/boogie/boogie-2.15.8-r2.ebuild @@ -20,7 +20,10 @@ SLOT="0" KEYWORDS="~amd64" IUSE="debug" -BDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}" +BDEPEND=" + dev-libs/icu + virtual/dotnet-sdk:${DOTNET_COMPAT} +" RDEPEND=" ${BDEPEND} sci-mathematics/z3 |