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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.1 - (show annotations) (download)
Sun Nov 18 07:01:39 2012 UTC (2 years ago) by gienah
Branch: MAIN
CVS Tags: HEAD
Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with quickcheck 2.5

(Portage version: 2.1.11.31/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.6:=[profile?]
26 epic? ( dev-lang/epic:=[profile?] )
27 =dev-haskell/hashable-1.1*:=[profile?]
28 =dev-haskell/hashtables-1.0*:=[profile?]
29 >=dev-haskell/haskeline-0.6.3.2:=[profile?]
30 <dev-haskell/haskeline-0.7:=[profile?]
31 >=dev-haskell/haskell-src-exts-1.9.6:=[profile?]
32 <dev-haskell/haskell-src-exts-1.14:=[profile?]
33 >=dev-haskell/mtl-2.0:=[profile?]
34 <dev-haskell/mtl-2.2:=[profile?]
35 >=dev-haskell/quickcheck-2.3:=[profile?]
36 <dev-haskell/quickcheck-2.6:=[profile?]
37 >=dev-haskell/syb-0.1:=[profile?]
38 <dev-haskell/syb-0.4:=[profile?]
39 =dev-haskell/xhtml-3000.2*:=[profile?]
40 >=dev-haskell/zlib-0.4.0.1:=[profile?]
41 <dev-haskell/zlib-0.6:=[profile?]
42 >=dev-lang/ghc-6.10.4:=
43 virtual/emacs
44 app-emacs/haskell-mode"
45 PDEPEND="stdlib? ( sci-mathematics/agda-stdlib )"
46 DEPEND="${RDEPEND}
47 dev-haskell/alex
48 >=dev-haskell/cabal-1.8
49 dev-haskell/happy"
50
51 SITEFILE="50${PN}2-gentoo.el"
52 S="${WORKDIR}/${MY_P}"
53
54 src_prepare() {
55 epatch "${FILESDIR}"/${P}-emacs.patch
56 epatch "${FILESDIR}"/${PN}-2.3.0.1-haskell-src-exts-1.13.patch
57 epatch "${FILESDIR}"/${PN}-2.3.0.1-mtl-2.1.patch
58 epatch "${FILESDIR}"/${PN}-2.3.0.1-quickcheck-2.5.patch
59 cabal-mksetup
60 if use epic && use stdlib; then
61 ewarn "Note that the agda-stdlib README:"
62 ewarn "http://www.cse.chalmers.se/~nad/listings/lib/README.html"
63 ewarn 'says: "Currently the library does not support the Epic or JavaScript compiler'
64 ewarn 'backends." Hence you may wish to remove the epic use flag if you wish to use'
65 ewarn "the Agda standard library."
66 fi
67 }
68
69 src_configure() {
70 cabal_src_configure $(cabal_flag epic)
71 }
72
73 src_install() {
74 haskell-cabal_src_install
75 elisp-install ${PN} src/data/emacs-mode/*.el \
76 || die "Failed to install emacs mode"
77 elisp-site-file-install "${FILESDIR}/${SITEFILE}" \
78 || die "Failed to install elisp site file"
79 }
80
81 pkg_postinst() {
82 ghc-package_pkg_postinst
83 elisp-site-regen
84 }
85
86 pkg_postrm() {
87 ghc-package_pkg_prerm
88 elisp-site-regen
89 }

  ViewVC Help
Powered by ViewVC 1.1.20