1 |
commit: 669e602164fff463c1e6f6119f4b2a1b1481160c |
2 |
Author: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sun Apr 3 14:38:23 2016 +0000 |
4 |
Commit: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org> |
5 |
CommitDate: Sun Apr 3 14:39:25 2016 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=669e6021 |
7 |
|
8 |
sci-mathematics/agda-stdlib: drop old |
9 |
|
10 |
Package-Manager: portage-2.2.28 |
11 |
|
12 |
sci-mathematics/agda-stdlib/Manifest | 3 - |
13 |
sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild | 67 ---------------------- |
14 |
sci-mathematics/agda-stdlib/agda-stdlib-0.9.ebuild | 67 ---------------------- |
15 |
.../agda-stdlib/agda-stdlib-2.4.2.3.ebuild | 66 --------------------- |
16 |
4 files changed, 203 deletions(-) |
17 |
|
18 |
diff --git a/sci-mathematics/agda-stdlib/Manifest b/sci-mathematics/agda-stdlib/Manifest |
19 |
index baeaa65..020b3fa 100644 |
20 |
--- a/sci-mathematics/agda-stdlib/Manifest |
21 |
+++ b/sci-mathematics/agda-stdlib/Manifest |
22 |
@@ -1,4 +1 @@ |
23 |
-DIST agda-stdlib-0.8.tar.gz 246158 SHA256 e8b8380bb03871ee3348aa2df32201a387ca0af02171d32ac58664f58467ed0d SHA512 5ac3bda61eb209a4db650edbbdfb96b73cb58b24e43842957696a20a93454d9846a19e4866af0b736c2c3390184223473da75277e490a6a8348531431ca27af0 WHIRLPOOL ccb5f294cb303b7d502227a6f908fa4904c56c55af1c3897753da3f39c7271cd07c292b56e030b8d80f97e6d6a8ad9f0a5fba1f22e0d169bdb4cb79e6e2db060 |
24 |
-DIST agda-stdlib-0.9.tar.gz 248895 SHA256 923b487876235863e4f778aa40c508984b26636d50d531f0f31ca9dc45ab3717 SHA512 aa297e250c5d98ca3f267c5ef95fc33999f9b120256c1983774d814b940a0f5952e524024908e3716af71ad544a586576c1bae6cca19e63797b1d4004ba88413 WHIRLPOOL dd200c61e91e397dfc7de8f6269edaefc20aa3daf5ead9e9fbab62468e5385481a74d5cec62df88e5c5304e06dfbd47b1870f71f70aba7fad29eceb0d836e2b1 |
25 |
-DIST agda-stdlib-2.4.2.3.tar.gz 252558 SHA256 bb444fb35096be277c07aa27652c24509449fee9188325bb13eaac68b91eca7d SHA512 d503fc2abd18ab8c367a1947301e0302a6ff9fcbb6376a01f016aa2ab7a9a967e5adb96c5013db1892f4acd9fab62bead11c58c4d443784aff1e42ee4ffd4aa9 WHIRLPOOL 829e5613f2e03cda80608ef0899db413c98a505c9ba595d3aacd12171fc2e30e18e72365770a85655c7670fc5d45103c3b186d2bf8d9697aebae15bc9f40feaf |
26 |
DIST agda-stdlib-2.4.2.5.tar.gz 253379 SHA256 9b46956e88a886cd08a8e6e83bea6115844860d7e927279abacc52e84b302b16 SHA512 b15ed5838916240c8602fe7a4bccddf43c71ab3a18ecb5a6dc85199b908e261b04cf794a4d93c90af0a9263a36603c392280639ace7fecead0c39269c2623302 WHIRLPOOL 6414b268a813309e7315d6e2ff9345efdb95d1559966f8755607045a685d4b7cf521750ac7efa8dd90001357d7c825d31589dfd2fe771d379f45d79739c7d66c |
27 |
|
28 |
diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild |
29 |
deleted file mode 100644 |
30 |
index cc2c341..0000000 |
31 |
--- a/sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild |
32 |
+++ /dev/null |
33 |
@@ -1,67 +0,0 @@ |
34 |
-# Copyright 1999-2015 Gentoo Foundation |
35 |
-# Distributed under the terms of the GNU General Public License v2 |
36 |
-# $Id$ |
37 |
- |
38 |
-EAPI=5 |
39 |
- |
40 |
-CABAL_FEATURES="bin" |
41 |
-inherit haskell-cabal elisp-common |
42 |
- |
43 |
-DESCRIPTION="Agda standard library" |
44 |
-HOMEPAGE="http://wiki.portal.chalmers.se/agda/" |
45 |
-SRC_URI="https://github.com/agda/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" |
46 |
- |
47 |
-LICENSE="MIT" |
48 |
-SLOT="0" |
49 |
-KEYWORDS="~amd64 ~x86" |
50 |
-IUSE="profile +ffi" |
51 |
- |
52 |
-# filemanip is used in lib.cabal to make the GenerateEverything and |
53 |
-# AllNonAsciiChars executables, so agda-stdlib does not require a subslot |
54 |
-# dependency on filemanip. |
55 |
- |
56 |
-RDEPEND=">=sci-mathematics/agda-2.4:=[profile?] |
57 |
- =dev-haskell/filemanip-0.3*[profile?] |
58 |
- >=sci-mathematics/agda-executable-2.3.0.1:= |
59 |
- >=dev-lang/ghc-6.12.1 |
60 |
- ffi? ( =sci-mathematics/agda-lib-ffi-0.0.2 ) |
61 |
-" |
62 |
-DEPEND="${RDEPEND} |
63 |
- >=dev-haskell/cabal-1.8.0.2 |
64 |
-" |
65 |
- |
66 |
-SITEFILE="50${PN}-gentoo.el" |
67 |
- |
68 |
-src_prepare() { |
69 |
- cabal-mksetup |
70 |
-} |
71 |
- |
72 |
-src_compile() { |
73 |
- haskell-cabal_src_compile |
74 |
- "${S}"/dist/build/GenerateEverything/GenerateEverything \ |
75 |
- || die "GenerateEverything failed" |
76 |
- local prof |
77 |
- use profile && prof="--ghc-flag=-prof" |
78 |
- agda +RTS -K1G -RTS ${prof} \ |
79 |
- -i "${S}" -i "${S}"/src "${S}"/Everything.agda || die |
80 |
- # Although my agda-9999 build has |
81 |
- # /var/tmp/portage/sci-mathematics/agda-9999/work/agda-9999/dist/build/autogen/Paths_Agda.hs |
82 |
- # containing: |
83 |
- # datadir = "/usr/share/agda-9999/ghc-7.6.1" |
84 |
- # it fails without the --css option like: |
85 |
- # /usr/share/agda-9999/ghc-7.4.1/Agda.css: copyFile: does not exist |
86 |
- local cssdir=$(egrep 'datadir *=' "${S}/dist/build/autogen/Paths_lib.hs" | sed -e 's@datadir = \(.*\)@\1@') |
87 |
- agda --html -i "${S}" -i "${S}"/src --css="${cssdir}/Agda.css" "${S}"/README.agda || die |
88 |
-} |
89 |
- |
90 |
-src_test() { |
91 |
- agda -i "${S}" -i "${S}"/src README.agda || die |
92 |
-} |
93 |
- |
94 |
-src_install() { |
95 |
- insinto usr/share/agda-stdlib |
96 |
- insopts --preserve-timestamps |
97 |
- doins -r src/* |
98 |
- dodoc -r html/* |
99 |
- elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die |
100 |
-} |
101 |
|
102 |
diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-0.9.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-0.9.ebuild |
103 |
deleted file mode 100644 |
104 |
index cc2c341..0000000 |
105 |
--- a/sci-mathematics/agda-stdlib/agda-stdlib-0.9.ebuild |
106 |
+++ /dev/null |
107 |
@@ -1,67 +0,0 @@ |
108 |
-# Copyright 1999-2015 Gentoo Foundation |
109 |
-# Distributed under the terms of the GNU General Public License v2 |
110 |
-# $Id$ |
111 |
- |
112 |
-EAPI=5 |
113 |
- |
114 |
-CABAL_FEATURES="bin" |
115 |
-inherit haskell-cabal elisp-common |
116 |
- |
117 |
-DESCRIPTION="Agda standard library" |
118 |
-HOMEPAGE="http://wiki.portal.chalmers.se/agda/" |
119 |
-SRC_URI="https://github.com/agda/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" |
120 |
- |
121 |
-LICENSE="MIT" |
122 |
-SLOT="0" |
123 |
-KEYWORDS="~amd64 ~x86" |
124 |
-IUSE="profile +ffi" |
125 |
- |
126 |
-# filemanip is used in lib.cabal to make the GenerateEverything and |
127 |
-# AllNonAsciiChars executables, so agda-stdlib does not require a subslot |
128 |
-# dependency on filemanip. |
129 |
- |
130 |
-RDEPEND=">=sci-mathematics/agda-2.4:=[profile?] |
131 |
- =dev-haskell/filemanip-0.3*[profile?] |
132 |
- >=sci-mathematics/agda-executable-2.3.0.1:= |
133 |
- >=dev-lang/ghc-6.12.1 |
134 |
- ffi? ( =sci-mathematics/agda-lib-ffi-0.0.2 ) |
135 |
-" |
136 |
-DEPEND="${RDEPEND} |
137 |
- >=dev-haskell/cabal-1.8.0.2 |
138 |
-" |
139 |
- |
140 |
-SITEFILE="50${PN}-gentoo.el" |
141 |
- |
142 |
-src_prepare() { |
143 |
- cabal-mksetup |
144 |
-} |
145 |
- |
146 |
-src_compile() { |
147 |
- haskell-cabal_src_compile |
148 |
- "${S}"/dist/build/GenerateEverything/GenerateEverything \ |
149 |
- || die "GenerateEverything failed" |
150 |
- local prof |
151 |
- use profile && prof="--ghc-flag=-prof" |
152 |
- agda +RTS -K1G -RTS ${prof} \ |
153 |
- -i "${S}" -i "${S}"/src "${S}"/Everything.agda || die |
154 |
- # Although my agda-9999 build has |
155 |
- # /var/tmp/portage/sci-mathematics/agda-9999/work/agda-9999/dist/build/autogen/Paths_Agda.hs |
156 |
- # containing: |
157 |
- # datadir = "/usr/share/agda-9999/ghc-7.6.1" |
158 |
- # it fails without the --css option like: |
159 |
- # /usr/share/agda-9999/ghc-7.4.1/Agda.css: copyFile: does not exist |
160 |
- local cssdir=$(egrep 'datadir *=' "${S}/dist/build/autogen/Paths_lib.hs" | sed -e 's@datadir = \(.*\)@\1@') |
161 |
- agda --html -i "${S}" -i "${S}"/src --css="${cssdir}/Agda.css" "${S}"/README.agda || die |
162 |
-} |
163 |
- |
164 |
-src_test() { |
165 |
- agda -i "${S}" -i "${S}"/src README.agda || die |
166 |
-} |
167 |
- |
168 |
-src_install() { |
169 |
- insinto usr/share/agda-stdlib |
170 |
- insopts --preserve-timestamps |
171 |
- doins -r src/* |
172 |
- dodoc -r html/* |
173 |
- elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die |
174 |
-} |
175 |
|
176 |
diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild |
177 |
deleted file mode 100644 |
178 |
index 3f5fb3f..0000000 |
179 |
--- a/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild |
180 |
+++ /dev/null |
181 |
@@ -1,66 +0,0 @@ |
182 |
-# Copyright 1999-2015 Gentoo Foundation |
183 |
-# Distributed under the terms of the GNU General Public License v2 |
184 |
-# $Id$ |
185 |
- |
186 |
-EAPI=5 |
187 |
- |
188 |
-CABAL_FEATURES="bin" |
189 |
-inherit haskell-cabal elisp-common |
190 |
- |
191 |
-DESCRIPTION="Agda standard library" |
192 |
-HOMEPAGE="http://wiki.portal.chalmers.se/agda/" |
193 |
-SRC_URI="https://github.com/agda/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" |
194 |
- |
195 |
-LICENSE="MIT" |
196 |
-SLOT="0" |
197 |
-KEYWORDS="~amd64 ~x86" |
198 |
-IUSE="profile +ffi" |
199 |
- |
200 |
-# filemanip is used in lib.cabal to make the GenerateEverything and |
201 |
-# AllNonAsciiChars executables, so agda-stdlib does not require a subslot |
202 |
-# dependency on filemanip. |
203 |
- |
204 |
-RDEPEND="=sci-mathematics/agda-${PV}*:=[profile?] |
205 |
- =dev-haskell/filemanip-0.3*[profile?] |
206 |
- >=dev-lang/ghc-6.12.1 |
207 |
- ffi? ( sci-mathematics/agda-lib-ffi ) |
208 |
-" |
209 |
-DEPEND="${RDEPEND} |
210 |
- >=dev-haskell/cabal-1.8.0.2 |
211 |
-" |
212 |
- |
213 |
-SITEFILE="50${PN}-gentoo.el" |
214 |
- |
215 |
-src_prepare() { |
216 |
- cabal-mksetup |
217 |
-} |
218 |
- |
219 |
-src_compile() { |
220 |
- haskell-cabal_src_compile |
221 |
- "${S}"/dist/build/GenerateEverything/GenerateEverything \ |
222 |
- || die "GenerateEverything failed" |
223 |
- local prof |
224 |
- use profile && prof="--ghc-flag=-prof" |
225 |
- agda +RTS -K1G -RTS ${prof} \ |
226 |
- -i "${S}" -i "${S}"/src "${S}"/Everything.agda || die |
227 |
- # Although my agda-9999 build has |
228 |
- # /var/tmp/portage/sci-mathematics/agda-9999/work/agda-9999/dist/build/autogen/Paths_Agda.hs |
229 |
- # containing: |
230 |
- # datadir = "/usr/share/agda-9999/ghc-7.6.1" |
231 |
- # it fails without the --css option like: |
232 |
- # /usr/share/agda-9999/ghc-7.4.1/Agda.css: copyFile: does not exist |
233 |
- local cssdir=$(egrep 'datadir *=' "${S}/dist/build/autogen/Paths_lib.hs" | sed -e 's@datadir = \(.*\)@\1@') |
234 |
- agda --html -i "${S}" -i "${S}"/src --css="${cssdir}/Agda.css" "${S}"/README.agda || die |
235 |
-} |
236 |
- |
237 |
-src_test() { |
238 |
- agda -i "${S}" -i "${S}"/src README.agda || die |
239 |
-} |
240 |
- |
241 |
-src_install() { |
242 |
- insinto usr/share/agda-stdlib |
243 |
- insopts --preserve-timestamps |
244 |
- doins -r src/* |
245 |
- dodoc -r html/* |
246 |
- elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die |
247 |
-} |