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-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 }