From 01357cba101b74171e9b1acb41a7dd04ac104bab Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maciej=20Bar=C4=87?= Date: Fri, 12 Nov 2021 06:29:41 +0100 Subject: [PATCH] dev-lang/idris2: fix *DEPEND MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Maciej Barć --- 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 46d5f2085e..b1b3217a95 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 )