Skip to content

Commit

Permalink
sci-mathematics/agda: drop zlib upper bound
Browse files Browse the repository at this point in the history
Package-Manager: portage-2.2.27
  • Loading branch information
trofi committed Feb 6, 2016
1 parent 9b85486 commit 0f843e6
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion sci-mathematics/agda/agda-9999.ebuild
Expand Up @@ -42,7 +42,7 @@ RDEPEND=">=dev-haskell/base-orphans-0.3.1:=[profile?] <dev-haskell/base-orphans-
>=dev-haskell/unordered-containers-0.2.5.0:=[profile?] <dev-haskell/unordered-containers-0.3:=[profile?]
>=dev-haskell/void-0.5.4:=[profile?] <dev-haskell/void-0.9:=[profile?]
>=dev-haskell/xhtml-3000.2.1:=[profile?] <dev-haskell/xhtml-3000.3:=[profile?]
>=dev-haskell/zlib-0.4.0.1:=[profile?] <dev-haskell/zlib-0.6.1:=[profile?]
>=dev-haskell/zlib-0.4.0.1:=[profile?]
>=dev-lang/ghc-7.6.2:=
|| ( ( >=dev-haskell/hashtables-1.0.1.8:=[profile?] <dev-haskell/hashtables-1.2:=[profile?] )
( >=dev-haskell/hashtables-1.2.0.2:=[profile?] <dev-haskell/hashtables-1.3:=[profile?] ) )
Expand Down Expand Up @@ -83,6 +83,9 @@ src_prepare() {
sed -e '/^executable agda-mode$/a \ \ buildable: False' \
-i "${S}/${MY_PN}.cabal" \
|| die "Could not remove agda-mode executable from ${MY_PN}.cabal"

cabal_chdeps \
'zlib >= 0.4.0.1 && < 0.6.1' 'zlib >= 0.4.0.1'
}

src_configure() {
Expand Down

0 comments on commit 0f843e6

Please sign in to comment.