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

Contents of /sci-mathematics/agda/agda-2.3.2-r2.ebuild

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.1 - (show annotations) (download)
Fri Dec 28 05:47:39 2012 UTC (23 months, 3 weeks ago) by gienah
Branch: MAIN
CVS Tags: HEAD
Loosen binary dep, patch for hashable 1.2

(Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)

1 # Copyright 1999-2012 Gentoo Foundation
2 # Distributed under the terms of the GNU General Public License v2
3 # $Header: $
4
5 EAPI=5
6
7 # ebuild generated by hackport 0.3.9999
8
9 CABAL_FEATURES="lib profile"
10 inherit haskell-cabal eutils elisp-common
11
12 MY_PN="Agda"
13 MY_P="${MY_PN}-${PV}"
14
15 DESCRIPTION="A dependently typed functional programming language and proof assistant"
16 HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
17 SRC_URI="mirror://hackage/packages/archive/${MY_PN}/${PV}/${MY_P}.tar.gz"
18
19 LICENSE="MIT"
20 SLOT="0/${PV}"
21 KEYWORDS="~amd64 ~x86"
22 IUSE="epic +stdlib"
23
24 RDEPEND=">=dev-haskell/binary-0.4.4:=[profile?]
25 <dev-haskell/binary-0.7:=[profile?]
26 =dev-haskell/deepseq-1.3*:=[profile?]
27 epic? ( dev-lang/epic:=[profile?] )
28 >=dev-haskell/geniplate-0.6.0.3:=[profile?]
29 <dev-haskell/geniplate-0.7:=[profile?]
30 >=dev-haskell/hashable-1.1.2.3:=[profile?]
31 <dev-haskell/hashable-1.3:=[profile?]
32 =dev-haskell/hashtables-1.0*:=[profile?]
33 >=dev-haskell/haskeline-0.6.3.2:=[profile?]
34 <dev-haskell/haskeline-0.8:=[profile?]
35 >=dev-haskell/haskell-src-exts-1.9.6:=[profile?]
36 <dev-haskell/haskell-src-exts-1.14:=[profile?]
37 >=dev-haskell/mtl-2.0:=[profile?]
38 <dev-haskell/mtl-2.2:=[profile?]
39 <dev-haskell/parallel-3.3:=[profile?]
40 >=dev-haskell/quickcheck-2.3:=[profile?]
41 <dev-haskell/quickcheck-2.6:=[profile?]
42 =dev-haskell/text-0.11*:=[profile?]
43 =dev-haskell/unordered-containers-0.2*:=[profile?]
44 =dev-haskell/xhtml-3000.2*:=[profile?]
45 >=dev-haskell/zlib-0.4.0.1:=[profile?]
46 <dev-haskell/zlib-0.6:=[profile?]
47 >=dev-lang/ghc-6.12.1:=
48 virtual/emacs
49 app-emacs/haskell-mode"
50 PDEPEND="stdlib? ( sci-mathematics/agda-stdlib )"
51 DEPEND="${RDEPEND}
52 dev-haskell/alex
53 >=dev-haskell/cabal-1.8
54 dev-haskell/happy"
55
56 SITEFILE="50${PN}2-gentoo.el"
57 S="${WORKDIR}/${MY_P}"
58
59 src_prepare() {
60 CABAL_FILE=${MY_PN}.cabal cabal_chdeps \
61 'binary >= 0.4.4 && < 0.6' 'binary >= 0.4.4 && < 0.7' \
62 'hashable >= 1.1.2.3 && < 1.2' 'hashable >= 1.1.2.3 && < 1.3'
63 epatch "${FILESDIR}/${PN}-2.3.2-hashable-1.2.patch"
64 sed -e '/.*emacs-mode.*$/d' \
65 -e '/^executable agda/,$d' \
66 -i "${S}/${MY_PN}.cabal" \
67 || die "Could not remove agda and agda-mode from ${MY_PN}.cabal"
68 cabal-mksetup
69 if use epic && use stdlib; then
70 ewarn "Note that the agda-stdlib README:"
71 ewarn "http://www.cse.chalmers.se/~nad/listings/lib/README.html"
72 ewarn 'says: "Currently the library does not support the Epic or JavaScript compiler'
73 ewarn 'backends." Hence you may wish to remove the epic use flag if you wish to use'
74 ewarn "the Agda standard library."
75 fi
76 }
77
78 src_configure() {
79 cabal_src_configure $(cabal_flag epic)
80 }
81
82 src_install() {
83 haskell-cabal_src_install
84 elisp-install ${PN} src/data/emacs-mode/*.el \
85 || die "Failed to install emacs mode"
86 elisp-site-file-install "${FILESDIR}/${SITEFILE}" \
87 || die "Failed to install elisp site file"
88 }
89
90 pkg_postinst() {
91 ghc-package_pkg_postinst
92 elisp-site-regen
93 }
94
95 pkg_postrm() {
96 ghc-package_pkg_prerm
97 elisp-site-regen
98 }

  ViewVC Help
Powered by ViewVC 1.1.20