1 |
commit: 70324d1a2e9d3496f1c51e67b3ba5962f5e3ef7c |
2 |
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sat Nov 27 20:20:18 2021 +0000 |
4 |
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
5 |
CommitDate: Sat Nov 27 20:20:18 2021 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=70324d1a |
7 |
|
8 |
dev-lang: move idris2 to ::gentoo |
9 |
|
10 |
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> |
11 |
|
12 |
dev-lang/idris2/Manifest | 2 - |
13 |
dev-lang/idris2/idris2-0.5.1.ebuild | 108 ------------------------- |
14 |
dev-lang/idris2/idris2-0.5.1_p20211112.ebuild | 111 -------------------------- |
15 |
dev-lang/idris2/metadata.xml | 27 ------- |
16 |
4 files changed, 248 deletions(-) |
17 |
|
18 |
diff --git a/dev-lang/idris2/Manifest b/dev-lang/idris2/Manifest |
19 |
deleted file mode 100644 |
20 |
index 7ec8c66c5..000000000 |
21 |
--- a/dev-lang/idris2/Manifest |
22 |
+++ /dev/null |
23 |
@@ -1,2 +0,0 @@ |
24 |
-DIST idris2-0.5.1.tar.gz 6057004 BLAKE2B d44d28739d350d7987b86ef3a08e2f6d73cd32fdb406c8156336f72d996fbd30296edf8b74e461d7a67861edc188d9e0d0f939bace337bebbf4124862b81a243 SHA512 6b4a4092570136a684bdd80765d271bc1ebe163c273ff22d22c808f586183a8e90a326573dd0e4b339e1ab0b88fd31f1cc7bf2820ff7bab2742c4156b816c5b7 |
25 |
-DIST idris2-0.5.1_p20211112.tar.gz 6202861 BLAKE2B 189bf28c7a33281494edea9b2c0821a934000fe9ca6e929b3318fe33576553142e5ad8d81598249cc384c6e342491ccef0998f33a4f2940b80264f5a3e4b32b2 SHA512 3b419ddbdc4aa3a28d92bf204448090c168d6a844d570886f982129f9e650c7112bbf95b727baf6c9f0f2fd6200c75eb68b6b71fd8684e01365eaf964dea1ea1 |
26 |
|
27 |
diff --git a/dev-lang/idris2/idris2-0.5.1.ebuild b/dev-lang/idris2/idris2-0.5.1.ebuild |
28 |
deleted file mode 100644 |
29 |
index de40fa402..000000000 |
30 |
--- a/dev-lang/idris2/idris2-0.5.1.ebuild |
31 |
+++ /dev/null |
32 |
@@ -1,108 +0,0 @@ |
33 |
-# Copyright 1999-2021 Gentoo Authors |
34 |
-# Distributed under the terms of the GNU General Public License v2 |
35 |
- |
36 |
-# NOTICE: make targets for documentation fail: libdocs & install-libdocs |
37 |
- |
38 |
-EAPI=8 |
39 |
- |
40 |
-inherit toolchain-funcs xdg-utils |
41 |
- |
42 |
-DESCRIPTION="Purely functional programming language with first class types" |
43 |
-HOMEPAGE="https://github.com/idris-lang/Idris2/" |
44 |
- |
45 |
-if [[ "${PV}" == *9999* ]]; then |
46 |
- inherit git-r3 |
47 |
- EGIT_REPO_URI="https://github.com/idris-lang/Idris2.git" |
48 |
-else |
49 |
- SRC_URI="https://github.com/idris-lang/Idris2/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz" |
50 |
- KEYWORDS="~amd64" |
51 |
- S="${WORKDIR}/${P^}" |
52 |
-fi |
53 |
- |
54 |
-LICENSE="BSD" |
55 |
-SLOT="0" |
56 |
-IUSE="+chez doc racket test-full" |
57 |
-REQUIRED_USE="^^ ( chez racket )" |
58 |
- |
59 |
-RDEPEND=" |
60 |
- chez? ( dev-scheme/chez[threads] ) |
61 |
- racket? ( dev-scheme/racket[threads] ) |
62 |
- dev-libs/gmp |
63 |
-" |
64 |
-DEPEND="${RDEPEND}" |
65 |
-BDEPEND=" |
66 |
- doc? ( dev-python/sphinx_rtd_theme ) |
67 |
- test-full? ( |
68 |
- dev-scheme/chez[threads] |
69 |
- dev-scheme/racket[threads] |
70 |
- net-libs/nodejs |
71 |
- ) |
72 |
-" |
73 |
- |
74 |
-# Generated via "SCHEME", not CC |
75 |
-QA_FLAGS_IGNORED="usr/lib/idris2/bin/idris2_app/idris2 |
76 |
- usr/lib/idris2/bin/idris2_app/idris2-boot" |
77 |
-QA_PRESTRIPPED="${QA_FLAGS_IGNORED}" |
78 |
- |
79 |
-src_prepare() { |
80 |
- xdg_environment_reset |
81 |
- unset IDRIS2_DATA IDRIS2_INC_CGS IDRIS2_LIBS IDRIS2_PACKAGE_PATH |
82 |
- unset IDRIS2_PATH IDRIS2_PREFIX |
83 |
- unset PLTUSERHOME |
84 |
- |
85 |
- tc-export AR CC CXX LD RANLIB |
86 |
- export CFLAGS |
87 |
- sed -i '/^CFLAGS/d' ./support/*/Makefile || die |
88 |
- |
89 |
- # Sorry... (jobserver unavailable) |
90 |
- unset MAKEOPTS |
91 |
- |
92 |
- export IDRIS2_VERSION=${PV} |
93 |
- export SCHEME=$(usex chez chezscheme racket) |
94 |
- |
95 |
- if use chez; then |
96 |
- export IDRIS2_CG=chez |
97 |
- export BOOTSTRAP_MAKE_TARGET=bootstrap |
98 |
- elif use racket; then |
99 |
- export IDRIS2_CG=racket |
100 |
- export BOOTSTRAP_MAKE_TARGET=bootstrap-racket |
101 |
- else |
102 |
- die "Neither chez nor racket was chosen" |
103 |
- fi |
104 |
- |
105 |
- # Fix "PREFIX" |
106 |
- sed -i 's|$(HOME)/.idris2|/usr/lib/idris2|g' ./config.mk || die |
107 |
- |
108 |
- # Bad tests |
109 |
- sed -i 's|"chez033",||g' ./tests/Main.idr || die |
110 |
- |
111 |
- default |
112 |
-} |
113 |
- |
114 |
-src_configure() { |
115 |
- : |
116 |
-} |
117 |
- |
118 |
-src_compile() { |
119 |
- emake SCHEME=${SCHEME} ${BOOTSTRAP_MAKE_TARGET} |
120 |
- |
121 |
- use doc && emake -C ./docs html |
122 |
-} |
123 |
- |
124 |
-src_test() { |
125 |
- emake SCHEME=${SCHEME} bootstrap-test |
126 |
-} |
127 |
- |
128 |
-src_install() { |
129 |
- # "DESTDIR" variable is not respected |
130 |
- emake IDRIS2_PREFIX="${D}/usr/lib/idris2" PREFIX="${D}/usr/lib/idris2" install |
131 |
- |
132 |
- dosym ../lib/${PN}/bin/${PN} /usr/bin/${PN} |
133 |
- |
134 |
- einstalldocs |
135 |
- |
136 |
- if use doc; then |
137 |
- insinto /usr/share/doc/${PF}/ |
138 |
- doins -r ./docs/build/html |
139 |
- fi |
140 |
-} |
141 |
|
142 |
diff --git a/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild b/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild |
143 |
deleted file mode 100644 |
144 |
index 559d2866d..000000000 |
145 |
--- a/dev-lang/idris2/idris2-0.5.1_p20211112.ebuild |
146 |
+++ /dev/null |
147 |
@@ -1,111 +0,0 @@ |
148 |
-# Copyright 1999-2021 Gentoo Authors |
149 |
-# Distributed under the terms of the GNU General Public License v2 |
150 |
- |
151 |
-# NOTICE: make targets for documentation fail: libdocs & install-libdocs |
152 |
- |
153 |
-EAPI=8 |
154 |
- |
155 |
-COMMIT_HASH="ba180706d607945d8b419301f4362471d97a306a" |
156 |
- |
157 |
-inherit toolchain-funcs xdg-utils |
158 |
- |
159 |
-DESCRIPTION="Purely functional programming language with first class types" |
160 |
-HOMEPAGE="https://github.com/idris-lang/Idris2/" |
161 |
- |
162 |
-if [[ "${PV}" == *9999* ]]; then |
163 |
- inherit git-r3 |
164 |
- EGIT_REPO_URI="https://github.com/idris-lang/Idris2.git" |
165 |
-else |
166 |
- SRC_URI="https://github.com/idris-lang/Idris2/archive/${COMMIT_HASH}.tar.gz -> ${P}.tar.gz" |
167 |
- KEYWORDS="~amd64" |
168 |
- S="${WORKDIR}/${PN^}-${COMMIT_HASH}" |
169 |
-fi |
170 |
- |
171 |
-LICENSE="BSD" |
172 |
-SLOT="0" |
173 |
-IUSE="+chez doc racket test-full" |
174 |
-REQUIRED_USE="^^ ( chez racket )" |
175 |
- |
176 |
-RDEPEND=" |
177 |
- chez? ( dev-scheme/chez[threads] ) |
178 |
- racket? ( dev-scheme/racket[threads] ) |
179 |
- dev-libs/gmp |
180 |
-" |
181 |
-DEPEND="${RDEPEND}" |
182 |
-BDEPEND=" |
183 |
- doc? ( dev-python/sphinx_rtd_theme ) |
184 |
- test-full? ( |
185 |
- dev-scheme/chez[threads] |
186 |
- dev-scheme/racket[threads] |
187 |
- net-libs/nodejs |
188 |
- ) |
189 |
-" |
190 |
- |
191 |
-# Generated via "SCHEME", not CC |
192 |
-QA_FLAGS_IGNORED="usr/lib/idris2/bin/idris2_app/idris2 |
193 |
- usr/lib/idris2/bin/idris2_app/idris2-boot" |
194 |
-QA_PRESTRIPPED="${QA_FLAGS_IGNORED}" |
195 |
- |
196 |
-src_prepare() { |
197 |
- xdg_environment_reset |
198 |
- unset IDRIS2_DATA IDRIS2_INC_CGS IDRIS2_LIBS IDRIS2_PACKAGE_PATH |
199 |
- unset IDRIS2_PATH IDRIS2_PREFIX |
200 |
- unset PLTUSERHOME |
201 |
- |
202 |
- tc-export AR CC CXX LD RANLIB |
203 |
- export CFLAGS |
204 |
- sed -i '/^CFLAGS/d' ./support/*/Makefile || die |
205 |
- |
206 |
- # Sorry... (jobserver unavailable) |
207 |
- unset MAKEOPTS |
208 |
- |
209 |
- export IDRIS2_VERSION=${PV} |
210 |
- export SCHEME=$(usex chez chezscheme racket) |
211 |
- |
212 |
- if use chez; then |
213 |
- export IDRIS2_CG=chez |
214 |
- export BOOTSTRAP_MAKE_TARGET=bootstrap |
215 |
- elif use racket; then |
216 |
- export IDRIS2_CG=racket |
217 |
- export BOOTSTRAP_MAKE_TARGET=bootstrap-racket |
218 |
- else |
219 |
- die "Neither chez nor racket was chosen" |
220 |
- fi |
221 |
- |
222 |
- # Fix "PREFIX" |
223 |
- sed -i 's|$(HOME)/.idris2|/usr/lib/idris2|g' ./config.mk || die |
224 |
- |
225 |
- # Bad tests |
226 |
- # > Missing incremental compile data, reverting to whole program compilation |
227 |
- sed -i 's|"chez033",||g' ./tests/Main.idr || die |
228 |
- |
229 |
- default |
230 |
-} |
231 |
- |
232 |
-src_configure() { |
233 |
- : |
234 |
-} |
235 |
- |
236 |
-src_compile() { |
237 |
- emake SCHEME=${SCHEME} ${BOOTSTRAP_MAKE_TARGET} |
238 |
- |
239 |
- use doc && emake -C ./docs html |
240 |
-} |
241 |
- |
242 |
-src_test() { |
243 |
- emake SCHEME=${SCHEME} bootstrap-test |
244 |
-} |
245 |
- |
246 |
-src_install() { |
247 |
- # "DESTDIR" variable is not respected |
248 |
- emake IDRIS2_PREFIX="${D}/usr/lib/idris2" PREFIX="${D}/usr/lib/idris2" install |
249 |
- |
250 |
- dosym ../lib/${PN}/bin/${PN} /usr/bin/${PN} |
251 |
- |
252 |
- einstalldocs |
253 |
- |
254 |
- if use doc; then |
255 |
- insinto /usr/share/doc/${PF}/ |
256 |
- doins -r ./docs/build/html |
257 |
- fi |
258 |
-} |
259 |
|
260 |
diff --git a/dev-lang/idris2/metadata.xml b/dev-lang/idris2/metadata.xml |
261 |
deleted file mode 100644 |
262 |
index 66edc68e0..000000000 |
263 |
--- a/dev-lang/idris2/metadata.xml |
264 |
+++ /dev/null |
265 |
@@ -1,27 +0,0 @@ |
266 |
-<?xml version="1.0" encoding="UTF-8"?> |
267 |
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> |
268 |
- |
269 |
-<pkgmetadata> |
270 |
- <maintainer type="person"> |
271 |
- <email>xgqt@××××××.net</email> |
272 |
- <name>Maciej Barć</name> |
273 |
- </maintainer> |
274 |
- <longdescription lang="en"> |
275 |
- Idris is a programming language designed to encourage Type-Driven |
276 |
- Development. |
277 |
- In type-driven development, types are tools for constructing programs. |
278 |
- We treat the type as the plan for a program, and use the compiler |
279 |
- and type checker as our assistant, guiding us to a complete program that |
280 |
- satisfies the type. The more expressive the type is that we give up front, |
281 |
- the more confidence we can have that the resulting program will be correct. |
282 |
- </longdescription> |
283 |
- <upstream> |
284 |
- <bugs-to>https://github.com/idris-lang/Idris2/issues</bugs-to> |
285 |
- <remote-id type="github">idris-lang/Idris2></remote-id> |
286 |
- </upstream> |
287 |
- <use> |
288 |
- <flag name="chez">build using <pkg>dev-scheme/chez</pkg></flag> |
289 |
- <flag name="racket">build using <pkg>dev-scheme/racket</pkg></flag> |
290 |
- <flag name="test-full">pull in depedndencies to run all tests</flag> |
291 |
- </use> |
292 |
-</pkgmetadata> |