Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

sci-mathematics/agda: allow binary-0.6

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
  • Loading branch information...
commit 521cee69bfca1c4bd8c71bab6c6eb4186d4a8dac 1 parent 349f0d9
@trofi trofi authored
View
5 sci-mathematics/agda/agda-2.3.2.ebuild → sci-mathematics/agda/agda-2.3.2-r1.ebuild
@@ -22,7 +22,7 @@ KEYWORDS="~amd64 ~x86"
IUSE="epic +stdlib"
RDEPEND=">=dev-haskell/binary-0.4.4:=[profile?]
- <dev-haskell/binary-0.6:=[profile?]
+ <dev-haskell/binary-0.7:=[profile?]
=dev-haskell/deepseq-1.3*:=[profile?]
epic? ( dev-lang/epic:=[profile?] )
>=dev-haskell/geniplate-0.6.0.3:=[profile?]
@@ -57,6 +57,9 @@ SITEFILE="50${PN}2-gentoo.el"
S="${WORKDIR}/${MY_P}"
src_prepare() {
+ CABAL_FILE=${MY_PN}.cabal cabal_chdeps \
+ 'binary >= 0.4.4 && < 0.6' 'binary >= 0.4.4 && < 0.7'
+
sed -e '/.*emacs-mode.*$/d' \
-e '/^executable agda/,$d' \
-i "${S}/${MY_PN}.cabal" \
View
9 sci-mathematics/agda/agda-9999.ebuild
@@ -4,6 +4,8 @@
EAPI=5
+# ebuild generated by hackport 0.3.9999
+
CABAL_FEATURES="lib profile"
inherit haskell-cabal eutils elisp-common darcs
@@ -17,12 +19,12 @@ EDARCS_GET_CMD="get --verbose"
EDARCS_LOCALREPO="Agda2"
LICENSE="MIT"
-SLOT="0"
+SLOT="0/${PV}"
KEYWORDS=""
IUSE="epic +stdlib"
RDEPEND=">=dev-haskell/binary-0.4.4:=[profile?]
- <dev-haskell/binary-0.6:=[profile?]
+ <dev-haskell/binary-0.7:=[profile?]
=dev-haskell/deepseq-1.3*:=[profile?]
epic? ( dev-lang/epic:=[profile?] )
>=dev-haskell/geniplate-0.6.0.3:=[profile?]
@@ -57,6 +59,9 @@ SITEFILE="50${PN}2-gentoo.el"
S="${WORKDIR}/${P}"
src_prepare() {
+ CABAL_FILE=${MY_PN}.cabal cabal_chdeps \
+ 'binary >= 0.4.4 && < 0.6' 'binary >= 0.4.4 && < 0.7'
+
sed -e '/.*emacs-mode.*$/d' \
-e '/^executable agda/,$d' \
-i "${S}/${MY_PN}.cabal" \
Please sign in to comment.
Something went wrong with that request. Please try again.