[gentoo-commits] repo/proj/guru:dev commit in: dev-lang/idris2/

[Maciej Barć]

commit:     01357cba101b74171e9b1acb41a7dd04ac104bab
Author:     Maciej Barć <xgqt <AT> riseup <DOT> net>
AuthorDate: Fri Nov 12 05:29:41 2021 +0000
Commit:     Maciej Barć <xgqt <AT> riseup <DOT> net>
CommitDate: Fri Nov 12 05:29:41 2021 +0000
URL:        https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=01357cba

dev-lang/idris2: fix *DEPEND

Signed-off-by: Maciej Barć <xgqt <AT> riseup.net>

 dev-lang/idris2/idris2-0.5.1.ebuild | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/dev-lang/idris2/idris2-0.5.1.ebuild 
b/dev-lang/idris2/idris2-0.5.1.ebuild
index 46d5f2085..b1b3217a9 100644
--- a/dev-lang/idris2/idris2-0.5.1.ebuild
+++ b/dev-lang/idris2/idris2-0.5.1.ebuild
@@ -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 )