From 80bc27bf80d0e3df2293dccf29430c41aa7a1c51 Mon Sep 17 00:00:00 2001 From: Sergei Trofimovich Date: Sun, 3 Apr 2016 22:08:58 +0100 Subject: sci-mathematics/agda-lib-ffi: allow ghc-8 Package-Manager: portage-2.2.28 --- sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild | 5 +++++ sci-mathematics/agda-lib-ffi/metadata.xml | 1 + 2 files changed, 6 insertions(+) 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. -- cgit v1.2.3-18-g5258