diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2016-04-03 22:08:58 +0100 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2016-04-03 22:24:36 +0100 |
| commit | 80bc27bf80d0e3df2293dccf29430c41aa7a1c51 (patch) | |
| tree | 6e9db35a01c968232069e3cb2074e199bc8d617f /sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild | |
| parent | sci-mathematics/agda: allow transformers-compat-0.4 (diff) | |
| download | gentoo-80bc27bf80d0e3df2293dccf29430c41aa7a1c51.tar.gz gentoo-80bc27bf80d0e3df2293dccf29430c41aa7a1c51.tar.bz2 gentoo-80bc27bf80d0e3df2293dccf29430c41aa7a1c51.zip | |
sci-mathematics/agda-lib-ffi: allow ghc-8
Package-Manager: portage-2.2.28
Diffstat (limited to 'sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild')
| -rw-r--r-- | sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild | 5 |
1 files changed, 5 insertions, 0 deletions
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' +} |