mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-19 12:03:02 -04:00
Code Issues Packages Projects Releases Wiki Activity

dev-lang/idris2: fix *DEPEND

Browse Source 
Signed-off-by: Maciej Barć <xgqt@riseup.net>
This commit is contained in:
Maciej Barć
2021-11-12 06:29:41 +01:00
parent f19bc995e9
commit 01357cba10
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
dev-lang/idris2/idris2-0.5.1.ebuild
View File

@@ -24,8 +24,9 @@ SLOT="0"
IUSE="+chez doc racket test-full"
REQUIRED_USE="^^ ( chez racket )"
RDEPEND="dev-libs/gmp"
DEPEND="${RDEPEND}"
BDEPEND="
dev-libs/gmp
chez? ( dev-scheme/chez )
racket? ( dev-scheme/racket )
doc? ( dev-python/sphinx_rtd_theme )