From: Sergei Trofimovich Date: Sun, 3 Apr 2016 21:08:58 +0000 (+0100) Subject: sci-mathematics/agda-lib-ffi: allow ghc-8 X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=80bc27bf80d0e3df2293dccf29430c41aa7a1c51;p=gentoo.git sci-mathematics/agda-lib-ffi: allow ghc-8 Package-Manager: portage-2.2.28 --- diff --git a/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild index 2774fd4407dd..8e3102371e85 100644 --- a/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild +++ b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild @@ -29,3 +29,8 @@ DEPEND="${RDEPEND} " S="${WORKDIR}/${AGDA_P}/ffi" + +src_prepare() { + cabal_chdeps \ + 'base >= 4.5.0.0 && < 4.9' 'base >= 4.5.0.0' +} diff --git a/sci-mathematics/agda-lib-ffi/metadata.xml b/sci-mathematics/agda-lib-ffi/metadata.xml index f3e416ad820b..adc5490ee507 100644 --- a/sci-mathematics/agda-lib-ffi/metadata.xml +++ b/sci-mathematics/agda-lib-ffi/metadata.xml @@ -3,6 +3,7 @@ haskell@gentoo.org + Gentoo Haskell Auxiliary Haskell code used by Agda's standard library.