From: | "Mark Wright (gienah)" <gienah@g.o> |
---|---|
To: | gentoo-commits@l.g.o |
Subject: | [gentoo-commits] gentoo-x86 commit in sci-mathematics/agda-stdlib: agda-stdlib-2.4.2.3.ebuild ChangeLog |
Date: | Sun, 02 Aug 2015 13:56:02 |
Message-Id: | 20150802135554.D2555113@oystercatcher.gentoo.org |
1 | gienah 15/08/02 13:55:54 |
2 | |
3 | Modified: ChangeLog |
4 | Added: agda-stdlib-2.4.2.3.ebuild |
5 | Log: |
6 | Bump agda-stdlib to 2.4.2.3 |
7 | |
8 | (Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key 618E971F) |
9 | |
10 | Revision Changes Path |
11 | 1.10 sci-mathematics/agda-stdlib/ChangeLog |
12 | |
13 | file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog?rev=1.10&view=markup |
14 | plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog?rev=1.10&content-type=text/plain |
15 | diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog?r1=1.9&r2=1.10 |
16 | |
17 | Index: ChangeLog |
18 | =================================================================== |
19 | RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v |
20 | retrieving revision 1.9 |
21 | retrieving revision 1.10 |
22 | diff -u -r1.9 -r1.10 |
23 | --- ChangeLog 2 Aug 2015 10:49:32 -0000 1.9 |
24 | +++ ChangeLog 2 Aug 2015 13:55:54 -0000 1.10 |
25 | @@ -1,6 +1,11 @@ |
26 | # ChangeLog for sci-mathematics/agda-stdlib |
27 | # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 |
28 | -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.9 2015/08/02 10:49:32 slyfox Exp $ |
29 | +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.10 2015/08/02 13:55:54 gienah Exp $ |
30 | + |
31 | +*agda-stdlib-2.4.2.3 (02 Aug 2015) |
32 | + |
33 | + 02 Aug 2015; Mark Wright <gienah@g.o> +agda-stdlib-2.4.2.3.ebuild: |
34 | + Bump agda-stdlib to 2.4.2.3 |
35 | |
36 | 02 Aug 2015; Sergei Trofimovich <slyfox@g.o> |
37 | -agda-stdlib-0.7-r1.ebuild, -agda-stdlib-0.7.ebuild: |
38 | |
39 | |
40 | |
41 | 1.1 sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild |
42 | |
43 | file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild?rev=1.1&view=markup |
44 | plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild?rev=1.1&content-type=text/plain |
45 | |
46 | Index: agda-stdlib-2.4.2.3.ebuild |
47 | =================================================================== |
48 | # Copyright 1999-2015 Gentoo Foundation |
49 | # Distributed under the terms of the GNU General Public License v2 |
50 | # $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild,v 1.1 2015/08/02 13:55:54 gienah Exp $ |
51 | |
52 | EAPI=5 |
53 | |
54 | CABAL_FEATURES="bin" |
55 | inherit haskell-cabal elisp-common |
56 | |
57 | DESCRIPTION="Agda standard library" |
58 | HOMEPAGE="http://wiki.portal.chalmers.se/agda/" |
59 | SRC_URI="https://github.com/agda/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" |
60 | |
61 | LICENSE="MIT" |
62 | SLOT="0" |
63 | KEYWORDS="~amd64 ~x86" |
64 | IUSE="profile +ffi" |
65 | |
66 | # filemanip is used in lib.cabal to make the GenerateEverything and |
67 | # AllNonAsciiChars executables, so agda-stdlib does not require a subslot |
68 | # dependency on filemanip. |
69 | |
70 | RDEPEND="=sci-mathematics/agda-${PV}*:=[profile?] |
71 | =dev-haskell/filemanip-0.3*[profile?] |
72 | >=dev-lang/ghc-6.12.1 |
73 | ffi? ( sci-mathematics/agda-lib-ffi ) |
74 | " |
75 | DEPEND="${RDEPEND} |
76 | >=dev-haskell/cabal-1.8.0.2 |
77 | " |
78 | |
79 | SITEFILE="50${PN}-gentoo.el" |
80 | |
81 | src_prepare() { |
82 | cabal-mksetup |
83 | } |
84 | |
85 | src_compile() { |
86 | haskell-cabal_src_compile |
87 | "${S}"/dist/build/GenerateEverything/GenerateEverything \ |
88 | || die "GenerateEverything failed" |
89 | local prof |
90 | use profile && prof="--ghc-flag=-prof" |
91 | agda +RTS -K1G -RTS ${prof} \ |
92 | -i "${S}" -i "${S}"/src "${S}"/Everything.agda || die |
93 | # Although my agda-9999 build has |
94 | # /var/tmp/portage/sci-mathematics/agda-9999/work/agda-9999/dist/build/autogen/Paths_Agda.hs |
95 | # containing: |
96 | # datadir = "/usr/share/agda-9999/ghc-7.6.1" |
97 | # it fails without the --css option like: |
98 | # /usr/share/agda-9999/ghc-7.4.1/Agda.css: copyFile: does not exist |
99 | local cssdir=$(egrep 'datadir *=' "${S}/dist/build/autogen/Paths_lib.hs" | sed -e 's@datadir = \(.*\)@\1@') |
100 | agda --html -i "${S}" -i "${S}"/src --css="${cssdir}/Agda.css" "${S}"/README.agda || die |
101 | } |
102 | |
103 | src_test() { |
104 | agda -i "${S}" -i "${S}"/src README.agda || die |
105 | } |
106 | |
107 | src_install() { |
108 | insinto usr/share/agda-stdlib |
109 | export INSOPTIONS=--preserve-timestamps |
110 | doins -r src/* |
111 | dodoc -r html/* |
112 | elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die |
113 | } |