Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

Gentoo Archives: gentoo-commits

From: "Mark Wright (gienah)" <gienah@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] gentoo-x86 commit in sci-mathematics/agda: agda-2.3.2-r2.ebuild ChangeLog
Date: Fri, 28 Dec 2012 05:47:50
Message-Id: 20121228054739.5A6192171D@flycatcher.gentoo.org
1 gienah 12/12/28 05:47:39
2
3 Modified: ChangeLog
4 Added: agda-2.3.2-r2.ebuild
5 Log:
6 Loosen binary dep, patch for hashable 1.2
7
8 (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
9
10 Revision Changes Path
11 1.20 sci-mathematics/agda/ChangeLog
12
13 file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.20&view=markup
14 plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.20&content-type=text/plain
15 diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?r1=1.19&r2=1.20
16
17 Index: ChangeLog
18 ===================================================================
19 RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v
20 retrieving revision 1.19
21 retrieving revision 1.20
22 diff -u -r1.19 -r1.20
23 --- ChangeLog 18 Nov 2012 07:48:34 -0000 1.19
24 +++ ChangeLog 28 Dec 2012 05:47:39 -0000 1.20
25 @@ -1,6 +1,12 @@
26 # ChangeLog for sci-mathematics/agda
27 # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
28 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.19 2012/11/18 07:48:34 gienah Exp $
29 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.20 2012/12/28 05:47:39 gienah Exp $
30 +
31 +*agda-2.3.2-r2 (28 Dec 2012)
32 +
33 + 28 Dec 2012; Mark Wright <gienah@g.o> +agda-2.3.2-r2.ebuild,
34 + +files/agda-2.3.2-hashable-1.2.patch:
35 + Loosen binary dep, patch for hashable 1.2
36
37 *agda-2.3.2 (18 Nov 2012)
38
39
40
41
42 1.1 sci-mathematics/agda/agda-2.3.2-r2.ebuild
43
44 file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.2-r2.ebuild?rev=1.1&view=markup
45 plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.3.2-r2.ebuild?rev=1.1&content-type=text/plain
46
47 Index: agda-2.3.2-r2.ebuild
48 ===================================================================
49 # Copyright 1999-2012 Gentoo Foundation
50 # Distributed under the terms of the GNU General Public License v2
51 # $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.3.2-r2.ebuild,v 1.1 2012/12/28 05:47:39 gienah Exp $
52
53 EAPI=5
54
55 # ebuild generated by hackport 0.3.9999
56
57 CABAL_FEATURES="lib profile"
58 inherit haskell-cabal eutils elisp-common
59
60 MY_PN="Agda"
61 MY_P="${MY_PN}-${PV}"
62
63 DESCRIPTION="A dependently typed functional programming language and proof assistant"
64 HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
65 SRC_URI="mirror://hackage/packages/archive/${MY_PN}/${PV}/${MY_P}.tar.gz"
66
67 LICENSE="MIT"
68 SLOT="0/${PV}"
69 KEYWORDS="~amd64 ~x86"
70 IUSE="epic +stdlib"
71
72 RDEPEND=">=dev-haskell/binary-0.4.4:=[profile?]
73 <dev-haskell/binary-0.7:=[profile?]
74 =dev-haskell/deepseq-1.3*:=[profile?]
75 epic? ( dev-lang/epic:=[profile?] )
76 >=dev-haskell/geniplate-0.6.0.3:=[profile?]
77 <dev-haskell/geniplate-0.7:=[profile?]
78 >=dev-haskell/hashable-1.1.2.3:=[profile?]
79 <dev-haskell/hashable-1.3:=[profile?]
80 =dev-haskell/hashtables-1.0*:=[profile?]
81 >=dev-haskell/haskeline-0.6.3.2:=[profile?]
82 <dev-haskell/haskeline-0.8:=[profile?]
83 >=dev-haskell/haskell-src-exts-1.9.6:=[profile?]
84 <dev-haskell/haskell-src-exts-1.14:=[profile?]
85 >=dev-haskell/mtl-2.0:=[profile?]
86 <dev-haskell/mtl-2.2:=[profile?]
87 <dev-haskell/parallel-3.3:=[profile?]
88 >=dev-haskell/quickcheck-2.3:=[profile?]
89 <dev-haskell/quickcheck-2.6:=[profile?]
90 =dev-haskell/text-0.11*:=[profile?]
91 =dev-haskell/unordered-containers-0.2*:=[profile?]
92 =dev-haskell/xhtml-3000.2*:=[profile?]
93 >=dev-haskell/zlib-0.4.0.1:=[profile?]
94 <dev-haskell/zlib-0.6:=[profile?]
95 >=dev-lang/ghc-6.12.1:=
96 virtual/emacs
97 app-emacs/haskell-mode"
98 PDEPEND="stdlib? ( sci-mathematics/agda-stdlib )"
99 DEPEND="${RDEPEND}
100 dev-haskell/alex
101 >=dev-haskell/cabal-1.8
102 dev-haskell/happy"
103
104 SITEFILE="50${PN}2-gentoo.el"
105 S="${WORKDIR}/${MY_P}"
106
107 src_prepare() {
108 CABAL_FILE=${MY_PN}.cabal cabal_chdeps \
109 'binary >= 0.4.4 && < 0.6' 'binary >= 0.4.4 && < 0.7' \
110 'hashable >= 1.1.2.3 && < 1.2' 'hashable >= 1.1.2.3 && < 1.3'
111 epatch "${FILESDIR}/${PN}-2.3.2-hashable-1.2.patch"
112 sed -e '/.*emacs-mode.*$/d' \
113 -e '/^executable agda/,$d' \
114 -i "${S}/${MY_PN}.cabal" \
115 || die "Could not remove agda and agda-mode from ${MY_PN}.cabal"
116 cabal-mksetup
117 if use epic && use stdlib; then
118 ewarn "Note that the agda-stdlib README:"
119 ewarn "http://www.cse.chalmers.se/~nad/listings/lib/README.html"
120 ewarn 'says: "Currently the library does not support the Epic or JavaScript compiler'
121 ewarn 'backends." Hence you may wish to remove the epic use flag if you wish to use'
122 ewarn "the Agda standard library."
123 fi
124 }
125
126 src_configure() {
127 cabal_src_configure $(cabal_flag epic)
128 }
129
130 src_install() {
131 haskell-cabal_src_install
132 elisp-install ${PN} src/data/emacs-mode/*.el \
133 || die "Failed to install emacs mode"
134 elisp-site-file-install "${FILESDIR}/${SITEFILE}" \
135 || die "Failed to install elisp site file"
136 }
137
138 pkg_postinst() {
139 ghc-package_pkg_postinst
140 elisp-site-regen
141 }
142
143 pkg_postrm() {
144 ghc-package_pkg_prerm
145 elisp-site-regen
146 }
Report Message
Find on MARC Find on Google Groups