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 | |
| 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
| -rw-r--r-- | sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild | 5 | ||||
| -rw-r--r-- | sci-mathematics/agda-lib-ffi/metadata.xml | 1 |
2 files changed, 6 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' +} 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 @@ <pkgmetadata> <maintainer type="project"> <email>haskell@gentoo.org</email> + <name>Gentoo Haskell</name> </maintainer> <longdescription> Auxiliary Haskell code used by Agda's standard library. |