/[gentoo-x86]/sci-mathematics/agda/agda-2.3.0.ebuild
Gentoo

Contents of /sci-mathematics/agda/agda-2.3.0.ebuild

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.5 - (show annotations) (download)
Wed Sep 12 16:10:27 2012 UTC (2 years ago) by qnikst
Branch: MAIN
Changes since 1.4: +2 -2 lines
move sci-mathematics/agda/agda-2.3.0.1.ebuild ebuild to mirror://hackage

(Portage version: 2.2.0_alpha125/cvs/Linux x86_64)

1 # Copyright 1999-2012 Gentoo Foundation
2 # Distributed under the terms of the GNU General Public License v2
3 # $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.0.ebuild,v 1.4 2012/06/02 09:21:19 gienah Exp $
4
5 EAPI="4"
6
7 CABAL_FEATURES="lib profile"
8 inherit haskell-cabal eutils elisp-common
9
10 MY_PN="Agda"
11 MY_P="${MY_PN}-${PV}"
12
13 DESCRIPTION="A dependently typed functional programming language and proof assistant"
14 HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
15 SRC_URI="mirror://hackage/packages/archive/${MY_PN}/${PV}/${MY_P}.tar.gz"
16
17 LICENSE="MIT"
18 SLOT="0"
19 KEYWORDS="~amd64 ~x86"
20 IUSE="epic +stdlib"
21
22 RDEPEND=">=dev-haskell/binary-0.4.4[profile?]
23 <dev-haskell/binary-0.6[profile?]
24 epic? ( dev-lang/epic[profile?] )
25 =dev-haskell/hashable-1.1*[profile?]
26 =dev-haskell/hashtables-1.0*[profile?]
27 >=dev-haskell/haskeline-0.6.3.2[profile?]
28 <dev-haskell/haskeline-0.7[profile?]
29 >=dev-haskell/haskell-src-exts-1.9.6[profile?]
30 <dev-haskell/haskell-src-exts-1.12[profile?]
31 =dev-haskell/mtl-2.0*[profile?]
32 =dev-haskell/quickcheck-2.4*[profile?]
33 >=dev-haskell/syb-0.1[profile?]
34 <dev-haskell/syb-0.4[profile?]
35 =dev-haskell/xhtml-3000.2*[profile?]
36 >=dev-haskell/zlib-0.4.0.1[profile?]
37 <dev-haskell/zlib-0.6[profile?]
38 >=dev-lang/ghc-6.10.4
39 virtual/emacs
40 app-emacs/haskell-mode"
41 PDEPEND="stdlib? ( sci-mathematics/agda-stdlib )"
42 DEPEND="${RDEPEND}
43 dev-haskell/alex
44 >=dev-haskell/cabal-1.8
45 dev-haskell/happy"
46
47 SITEFILE="50${PN}2-gentoo.el"
48 S="${WORKDIR}/${MY_P}"
49
50 src_prepare() {
51 epatch "${FILESDIR}"/${P}-emacs.patch
52 epatch "${FILESDIR}"/${P}-ghc-7.4.patch
53 sed -e 's@epic >= 0.1.13 && < 0.2@epic >= 0.1.13 \&\& < 0.10@' \
54 -e 's@base >= 4.2 && < 4.5@base >= 4.2 \&\& < 4.6@' \
55 -e 's@array >= 0.1 && < 0.4@array >= 0.1 \&\& < 0.5@' \
56 -e 's@filepath >= 1.1 && < 1.3@filepath >= 1.1 \&\& < 1.4@' \
57 -e 's@old-time == 1.0.\*@old-time >= 1.0 \&\& < 1.2@' \
58 -i "${S}/${MY_PN}.cabal" || die "Could not loosen dependencies"
59 cabal-mksetup
60 }
61
62 src_configure() {
63 cabal_src_configure $(cabal_flag epic)
64 }
65
66 src_install() {
67 haskell-cabal_src_install
68 elisp-install ${PN} src/data/emacs-mode/*.el \
69 || die "Failed to install emacs mode"
70 elisp-site-file-install "${FILESDIR}/${SITEFILE}" \
71 || die "Failed to install elisp site file"
72 }
73
74 pkg_postinst() {
75 ghc-package_pkg_postinst
76 elisp-site-regen
77 }
78
79 pkg_postrm() {
80 ghc-package_pkg_prerm
81 elisp-site-regen
82 }

  ViewVC Help
Powered by ViewVC 1.1.20