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

Contents of /sci-mathematics/agda/agda-2.2.6-r1.ebuild

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.1 - (show annotations) (download)
Sat Nov 20 13:45:12 2010 UTC (3 years, 11 months ago) by kolmodin
Branch: MAIN
Make sure the agda library gets registered with ghc.
(Portage version: 2.1.8.3/cvs/Linux x86_64)

1 # Copyright 1999-2010 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.2.6.ebuild,v 1.1 2010/09/14 19:53:51 bicatali Exp $
4
5 EAPI="2"
6
7 CABAL_FEATURES="lib"
8 inherit haskell-cabal eutils elisp-common
9
10 MY_PN="Agda"
11 MY_P="${MY_PN}-${PV}"
12
13 DESCRIPTION="A dependently typed programming language."
14 HOMEPAGE="http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php"
15 SRC_URI="http://code.haskell.org/${MY_PN}/${MY_P}.tar.gz"
16 LICENSE="MIT"
17 SLOT="0"
18 KEYWORDS="~amd64 ~x86"
19 IUSE=""
20
21 RDEPEND="virtual/emacs
22 app-emacs/haskell-mode"
23 DEPEND="${RDEPEND}
24 >=dev-lang/ghc-6.12
25 dev-haskell/mtl
26 =dev-haskell/quickcheck-2*
27 dev-haskell/haskell-src
28 dev-haskell/haskeline
29 >=dev-haskell/binary-0.4.4
30 =dev-haskell/xhtml-3000.2*
31 >=dev-haskell/zlib-0.4
32 >=dev-haskell/alex-2.0
33 >=dev-haskell/happy-1.15"
34
35 SITEFILE="50${PN}2-gentoo.el"
36 S="${WORKDIR}/${MY_P}"
37
38 src_prepare() {
39 epatch "${FILESDIR}"/${P}-emacs.patch
40 }
41
42 src_install() {
43 haskell-cabal_src_install
44 elisp-install ${PN} src/data/emacs-mode/*.el \
45 || die "Failed to install emacs mode"
46 elisp-site-file-install "${FILESDIR}/${SITEFILE}" \
47 || die "Failed to install elisp site file"
48 }
49
50 pkg_postinst() {
51 ghc-package_pkg_postinst
52 elisp-site-regen
53 }
54
55 pkg_postrm() {
56 ghc-package_pkg_prerm
57 elisp-site-regen
58 }

  ViewVC Help
Powered by ViewVC 1.1.20