Skip to content

GitLab

Unverified Commit 43254bb0 authored by Vikraman Choudhury's avatar Vikraman Choudhury
Browse files

sci-mathematics/agda: Refresh live ebuild 

Package-Manager: portage-2.2.27
parent 7795d25b
Hide whitespace changes
Inline Side-by-side
Showing with 27 additions and 24 deletions
sci-mathematics/agda/agda-9999.ebuild
View file @ 43254bb0
# Copyright 1999-2015 Gentoo Foundation # Copyright 1999-2016 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2 # Distributed under the terms of the GNU General Public License v2
# $Id$ # $Id$
EAPI=5 EAPI=5
# ebuild generated by hackport 0.4.4.9999 # ebuild generated by hackport 0.4.6
CABAL_FEATURES="bin lib profile haddock hoogle hscolour test-suite" CABAL_FEATURES="bin lib profile haddock hoogle hscolour test-suite"
inherit haskell-cabal eutils elisp-common git-r3 inherit haskell-cabal eutils elisp-common git-r3
...@@ -21,32 +21,35 @@ SLOT="0/${PV}" ...@@ -21,32 +21,35 @@ SLOT="0/${PV}"
KEYWORDS="" KEYWORDS=""
IUSE="+cpphs uhc +stdlib emacs" IUSE="+cpphs uhc +stdlib emacs"
RDEPEND=">=dev-haskell/binary-0.6:=[profile?] <dev-haskell/binary-0.8:=[profile?] RDEPEND=">=dev-haskell/base-orphans-0.3.1:=[profile?] <dev-haskell/base-orphans-0.5:=[profile?]
>=dev-haskell/binary-0.7.2.1:=[profile?] <dev-haskell/binary-0.9:=[profile?]
>=dev-haskell/boxes-0.1.3:=[profile?] <dev-haskell/boxes-0.2:=[profile?] >=dev-haskell/boxes-0.1.3:=[profile?] <dev-haskell/boxes-0.2:=[profile?]
>=dev-haskell/data-hash-0.2.0.0:=[profile?] >=dev-haskell/data-hash-0.2.0.0:=[profile?] <dev-haskell/data-hash-0.3:=[profile?]
>=dev-haskell/edit-distance-0.2.1.2:=[profile?] <dev-haskell/edit-distance-0.3:=[profile?] >=dev-haskell/edit-distance-0.2.1.2:=[profile?] <dev-haskell/edit-distance-0.3:=[profile?]
>=dev-haskell/equivalence-0.2.5:=[profile?] <dev-haskell/equivalence-0.4:=[profile?] >=dev-haskell/equivalence-0.2.5:=[profile?] <dev-haskell/equivalence-0.4:=[profile?]
>=dev-haskell/filemanip-0.3.6.3:=[profile?] <dev-haskell/filemanip-0.4:=[profile?]
>=dev-haskell/geniplate-mirror-0.6.0.6:=[profile?] <dev-haskell/geniplate-mirror-0.8:=[profile?] >=dev-haskell/geniplate-mirror-0.6.0.6:=[profile?] <dev-haskell/geniplate-mirror-0.8:=[profile?]
>=dev-haskell/haskeline-0.7:=[profile?] <dev-haskell/haskeline-0.8:=[profile?] >=dev-haskell/hashable-1.2.1.0:=[profile?] <dev-haskell/hashable-1.3:=[profile?]
>=dev-haskell/haskeline-0.7.1.3:=[profile?] <dev-haskell/haskeline-0.8:=[profile?]
>=dev-haskell/haskell-src-exts-1.16.0.1:=[profile?] <dev-haskell/haskell-src-exts-1.18:=[profile?] >=dev-haskell/haskell-src-exts-1.16.0.1:=[profile?] <dev-haskell/haskell-src-exts-1.18:=[profile?]
>=dev-haskell/old-time-1.1.0.0:=[profile?] <dev-haskell/old-time-1.2:=[profile?] >=dev-haskell/monadplus-1.4:=[profile?] <dev-haskell/monadplus-1.5:=[profile?]
>=dev-haskell/parallel-3.2.0.4:=[profile?] <dev-haskell/parallel-3.3:=[profile?] >=dev-haskell/parallel-3.2.0.4:=[profile?] <dev-haskell/parallel-3.3:=[profile?]
>=dev-haskell/parsec-3.1:=[profile?] <dev-haskell/parsec-3.2:=[profile?]
>=dev-haskell/quickcheck-2.8:2=[profile?] <dev-haskell/quickcheck-2.9:2=[profile?] >=dev-haskell/quickcheck-2.8:2=[profile?] <dev-haskell/quickcheck-2.9:2=[profile?]
>=dev-haskell/strict-0.3.2:=[profile?] <dev-haskell/strict-0.4:=[profile?] >=dev-haskell/strict-0.3.2:=[profile?] <dev-haskell/strict-0.4:=[profile?]
>=dev-haskell/text-0.11:=[profile?] <dev-haskell/text-1.3:=[profile?] >=dev-haskell/text-0.11.3.1:=[profile?] <dev-haskell/text-1.3:=[profile?]
>=dev-haskell/transformers-compat-0.3.3.2:=[profile?] <dev-haskell/transformers-compat-0.5:=[profile?] >=dev-haskell/transformers-compat-0.3.3.3:=[profile?] <dev-haskell/transformers-compat-0.6:=[profile?]
>=dev-haskell/unordered-containers-0.2:=[profile?] <dev-haskell/unordered-containers-0.3:=[profile?] >=dev-haskell/unordered-containers-0.2.5.0:=[profile?] <dev-haskell/unordered-containers-0.3:=[profile?]
>=dev-haskell/xhtml-3000.2:=[profile?] <dev-haskell/xhtml-3000.3:=[profile?] >=dev-haskell/void-0.5.4:=[profile?] <dev-haskell/void-0.9:=[profile?]
>=dev-haskell/zlib-0.4.0.1:=[profile?] <dev-haskell/zlib-0.7:=[profile?] >=dev-haskell/xhtml-3000.2.1:=[profile?] <dev-haskell/xhtml-3000.3:=[profile?]
>=dev-lang/ghc-7.8.1:= >=dev-haskell/zlib-0.4.0.1:=[profile?] <dev-haskell/zlib-0.6.1:=[profile?]
|| ( ( >=dev-haskell/hashable-1.1.2.3:=[profile?] <dev-haskell/hashable-1.2:=[profile?] ) >=dev-lang/ghc-7.6.2:=
( >=dev-haskell/hashable-1.2.1.0:=[profile?] <dev-haskell/hashable-1.3:=[profile?] ) ) || ( ( >=dev-haskell/hashtables-1.0.1.8:=[profile?] <dev-haskell/hashtables-1.2:=[profile?] )
|| ( ( >=dev-haskell/hashtables-1.0:=[profile?] <dev-haskell/hashtables-1.2:=[profile?] )
( >=dev-haskell/hashtables-1.2.0.2:=[profile?] <dev-haskell/hashtables-1.3:=[profile?] ) ) ( >=dev-haskell/hashtables-1.2.0.2:=[profile?] <dev-haskell/hashtables-1.3:=[profile?] ) )
|| ( ( >=dev-haskell/mtl-2.1.1:=[profile?] <=dev-haskell/mtl-2.1.3.1:=[profile?] ) || ( ( >=dev-haskell/mtl-2.1.1:=[profile?] <=dev-haskell/mtl-2.1.3.1:=[profile?] )
( >=dev-haskell/mtl-2.2.1:=[profile?] <dev-haskell/mtl-2.3:=[profile?] ) ) ( >=dev-haskell/mtl-2.2.1:=[profile?] <dev-haskell/mtl-2.3:=[profile?] ) )
|| ( ( >=dev-haskell/transformers-0.3:=[profile?] <dev-haskell/transformers-0.4:=[profile?] ) || ( ( >=dev-haskell/transformers-0.3:=[profile?] <dev-haskell/transformers-0.4:=[profile?] )
( >=dev-haskell/transformers-0.4.1.0:=[profile?] <dev-haskell/transformers-0.5:=[profile?] ) ) ( >=dev-haskell/transformers-0.4.1.0:=[profile?] <dev-haskell/transformers-0.6:=[profile?] ) )
uhc? ( >=dev-haskell/uhc-light-1.1.9.0:=[profile?] <dev-haskell/uhc-light-1.2:=[profile?] uhc? ( >=dev-haskell/uhc-light-1.1.9.0:=[profile?] <dev-haskell/uhc-light-1.2:=[profile?]
>=dev-haskell/uhc-util-0.1.5.5:=[profile?] >=dev-haskell/uhc-util-0.1.5.5:=[profile?]
>=dev-haskell/uulib-0.9.20:=[profile?] ) >=dev-haskell/uulib-0.9.20:=[profile?] )
...@@ -55,17 +58,20 @@ RDEPEND+=" ...@@ -55,17 +58,20 @@ RDEPEND+="
emacs? ( app-emacs/haskell-mode emacs? ( app-emacs/haskell-mode
virtual/emacs ) virtual/emacs )
" "
PDEPEND="stdlib? ( sci-mathematics/agda-stdlib )" PDEPEND="stdlib? ( =sci-mathematics/agda-stdlib-${PV} )"
DEPEND="${RDEPEND} DEPEND="${RDEPEND}
dev-haskell/alex dev-haskell/alex
>=dev-haskell/cabal-1.8 >=dev-haskell/cabal-1.16.0
dev-haskell/happy dev-haskell/happy
test? ( >=dev-haskell/process-extras-0.2.0 <dev-haskell/process-extras-0.4 test? ( >=dev-haskell/process-extras-0.3.0 <dev-haskell/process-extras-0.4
>=dev-haskell/regex-tdfa-1.2.0 <dev-haskell/regex-tdfa-1.3
>=dev-haskell/regex-tdfa-text-1.0.0.3 <dev-haskell/regex-tdfa-text-1.1
>=dev-haskell/tasty-0.10 <dev-haskell/tasty-0.12 >=dev-haskell/tasty-0.10 <dev-haskell/tasty-0.12
>=dev-haskell/tasty-silver-3.1.5 <dev-haskell/tasty-silver-3.2 >=dev-haskell/tasty-silver-3.1.8 <dev-haskell/tasty-silver-3.2
>=dev-haskell/temporary-1.2.0 <dev-haskell/temporary-1.3 ) >=dev-haskell/temporary-1.2.0.3 <dev-haskell/temporary-1.3 )
cpphs? ( dev-haskell/cpphs ) cpphs? ( dev-haskell/cpphs )
" "
RDEPEND+="!sci-mathematics/agda-executable"
SITEFILE="50${PN}2-gentoo.el" SITEFILE="50${PN}2-gentoo.el"
S="${WORKDIR}/${P}" S="${WORKDIR}/${P}"
...@@ -77,9 +83,6 @@ src_prepare() { ...@@ -77,9 +83,6 @@ src_prepare() {
sed -e '/^executable agda-mode$/a \ \ buildable: False' \ sed -e '/^executable agda-mode$/a \ \ buildable: False' \
-i "${S}/${MY_PN}.cabal" \ -i "${S}/${MY_PN}.cabal" \
|| die "Could not remove agda-mode executable from ${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() { src_configure() {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment