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.4.0.1.ebuild ChangeLog
Date: Wed, 02 Jul 2014 15:25:43
Message-Id: 20140702152538.F04482004E@flycatcher.gentoo.org
1 gienah 14/07/02 15:25:38
2
3 Modified: ChangeLog
4 Added: agda-2.4.0.1.ebuild
5 Log:
6 Bump agda to 2.4.0.1
7
8 (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
9
10 Revision Changes Path
11 1.27 sci-mathematics/agda/ChangeLog
12
13 file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.27&view=markup
14 plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?rev=1.27&content-type=text/plain
15 diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/ChangeLog?r1=1.26&r2=1.27
16
17 Index: ChangeLog
18 ===================================================================
19 RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v
20 retrieving revision 1.26
21 retrieving revision 1.27
22 diff -u -r1.26 -r1.27
23 --- ChangeLog 25 Feb 2014 15:40:58 -0000 1.26
24 +++ ChangeLog 2 Jul 2014 15:25:38 -0000 1.27
25 @@ -1,6 +1,11 @@
26 # ChangeLog for sci-mathematics/agda
27 # Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
28 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.26 2014/02/25 15:40:58 slyfox Exp $
29 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.27 2014/07/02 15:25:38 gienah Exp $
30 +
31 +*agda-2.4.0.1 (02 Jul 2014)
32 +
33 + 02 Jul 2014; Mark Wright <gienah@g.o> +agda-2.4.0.1.ebuild:
34 + Bump agda to 2.4.0.1
35
36 25 Feb 2014; Sergei Trofimovich <slyfox@g.o> -agda-1.0.2-r2.ebuild,
37 -agda-2.2.6-r1.ebuild, -files/50agda-gentoo.el,
38
39
40
41 1.1 sci-mathematics/agda/agda-2.4.0.1.ebuild
42
43 file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.4.0.1.ebuild?rev=1.1&view=markup
44 plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/agda-2.4.0.1.ebuild?rev=1.1&content-type=text/plain
45
46 Index: agda-2.4.0.1.ebuild
47 ===================================================================
48 # Copyright 1999-2014 Gentoo Foundation
49 # Distributed under the terms of the GNU General Public License v2
50 # $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-2.4.0.1.ebuild,v 1.1 2014/07/02 15:25:38 gienah Exp $
51
52 EAPI=5
53
54 # ebuild generated by hackport 0.4.2.9999
55
56 CABAL_FEATURES="lib profile haddock hoogle hscolour"
57 inherit haskell-cabal elisp-common
58
59 MY_PN="Agda"
60 MY_P="${MY_PN}-${PV}"
61
62 DESCRIPTION="A dependently typed functional programming language and proof assistant"
63 HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
64 SRC_URI="mirror://hackage/packages/archive/${MY_PN}/${PV}/${MY_P}.tar.gz"
65
66 LICENSE="MIT"
67 SLOT="0/${PV}"
68 KEYWORDS="~amd64 ~x86"
69 IUSE="epic +stdlib"
70
71 RDEPEND=">=dev-haskell/binary-0.6:=[profile?] <dev-haskell/binary-0.8:=[profile?]
72 >=dev-haskell/boxes-0.1.3:=[profile?] <dev-haskell/boxes-0.2:=[profile?]
73 ~dev-haskell/data-hash-0.2.0.0:=[profile?]
74 >=dev-haskell/equivalence-0.2.3:=[profile?] <dev-haskell/equivalence-0.3:=[profile?]
75 >=dev-haskell/geniplate-0.6.0.3:=[profile?] <dev-haskell/geniplate-0.7:=[profile?]
76 >=dev-haskell/hashtables-1.0:=[profile?] <dev-haskell/hashtables-1.2:=[profile?]
77 >=dev-haskell/haskeline-0.7:=[profile?] <dev-haskell/haskeline-0.8:=[profile?]
78 >=dev-haskell/haskell-src-exts-1.9.6:=[profile?] <dev-haskell/haskell-src-exts-1.16:=[profile?]
79 >=dev-haskell/mtl-2.1.1:=[profile?] <dev-haskell/mtl-2.3:=[profile?]
80 <dev-haskell/parallel-3.3:=[profile?]
81 >=dev-haskell/quickcheck-2.7.5:2=[profile?] <dev-haskell/quickcheck-2.8:2=[profile?]
82 >=dev-haskell/stmonadtrans-0.3.2:=[profile?] <dev-haskell/stmonadtrans-0.4:=[profile?]
83 >=dev-haskell/strict-0.3.2:=[profile?] <dev-haskell/strict-0.4:=[profile?]
84 >=dev-haskell/text-0.11:=[profile?] <dev-haskell/text-1.2:=[profile?]
85 >=dev-haskell/transformers-0.3:=[profile?] <dev-haskell/transformers-0.5:=[profile?]
86 >=dev-haskell/unordered-containers-0.2:=[profile?] <dev-haskell/unordered-containers-0.3:=[profile?]
87 >=dev-haskell/xhtml-3000.2:=[profile?] <dev-haskell/xhtml-3000.3:=[profile?]
88 >=dev-haskell/zlib-0.4.0.1:=[profile?] <dev-haskell/zlib-0.6:=[profile?]
89 >=dev-lang/ghc-7.4.1:=
90 || ( ( >=dev-haskell/hashable-1.1.2.3:=[profile?] <dev-haskell/hashable-1.2:=[profile?] )
91 ( >=dev-haskell/hashable-1.2.1.0:=[profile?] <dev-haskell/hashable-1.3:=[profile?] ) )
92 epic? ( >=dev-lang/epic-0.1.13:=[profile?] <dev-lang/epic-0.10:=[profile?] )
93 "
94 RDEPEND+="
95 app-emacs/haskell-mode
96 virtual/emacs
97 "
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
105 SITEFILE="50${PN}2-gentoo.el"
106 S="${WORKDIR}/${MY_P}"
107
108 src_prepare() {
109 cabal_chdeps \
110 'mtl >= 2.1.1 && < 2.2' 'mtl >= 2.1.1 && < 2.3' \
111 'transformers == 0.3.*' 'transformers >= 0.3 && < 0.5'
112
113 sed -e '/.*emacs-mode.*$/d' \
114 -i "${S}/${MY_PN}.cabal" \
115 || die "Could not remove agda-mode from ${MY_PN}.cabal"
116
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 sed -e 's@-Werror@@g' \
125 -i "${S}/${MY_PN}.cabal" \
126 || die "sed to remove -Werror failed"
127 sed -e '/, "-Werror"/d' \
128 -i "${S}/src/full/Agda/Compiler/MAlonzo/Compiler.hs" \
129 || die "sed to remove -Werror from Compiler.hs failed"
130 }
131
132 src_configure() {
133 haskell-cabal_src_configure \
134 $(cabal_flag epic epic)
135 }
136
137 src_compile() {
138 BYTECOMPFLAGS="-L ./src/data/emacs-mode"
139 elisp-compile src/data/emacs-mode/*.el \
140 || die "Failed to compile emacs mode"
141 haskell-cabal_src_compile
142 }
143
144 src_install() {
145 local add="${ED}"/usr/share/"${P}/ghc-$(ghc-version)"
146
147 haskell-cabal_src_install
148
149 # generate Primitive.agdai, emulate Setup.hs postinst phase
150 Agda_datadir="${add}" \
151 "${ED}"/usr/bin/agda "${add}"/lib/prim/Agda/Primitive.agda
152
153 rm "${ED}"/usr/bin/agda-mode || die
154 # lives in sci-mathematics/agda-executable
155 rm "${ED}"/usr/bin/agda || die
156
157 elisp-install ${PN} src/data/emacs-mode/*.el \
158 || die "Failed to install emacs mode"
159 elisp-site-file-install "${FILESDIR}/${SITEFILE}" \
160 || die "Failed to install elisp site file"
161 }
162
163 pkg_postinst() {
164 ghc-package_pkg_postinst
165 elisp-site-regen
166 }
167
168 pkg_postrm() {
169 ghc-package_pkg_prerm
170 elisp-site-regen
171 }
Report Message
Find on MARC Find on Google Groups