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