1 |
commit: 83ab7902bb70871e799ec6d4619a116934729395 |
2 |
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sun Jan 29 20:11:45 2023 +0000 |
4 |
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
5 |
CommitDate: Sun Jan 29 20:16:03 2023 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=83ab7902 |
7 |
|
8 |
app-emacs/reazon: new package; add 0.4.1 |
9 |
|
10 |
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> |
11 |
|
12 |
app-emacs/reazon/Manifest | 1 + |
13 |
app-emacs/reazon/files/50reazon-gentoo.el | 1 + |
14 |
app-emacs/reazon/metadata.xml | 22 ++++++++++++++++++++++ |
15 |
app-emacs/reazon/reazon-0.4.1.ebuild | 24 ++++++++++++++++++++++++ |
16 |
4 files changed, 48 insertions(+) |
17 |
|
18 |
diff --git a/app-emacs/reazon/Manifest b/app-emacs/reazon/Manifest |
19 |
new file mode 100644 |
20 |
index 000000000000..9bfd387c63c3 |
21 |
--- /dev/null |
22 |
+++ b/app-emacs/reazon/Manifest |
23 |
@@ -0,0 +1 @@ |
24 |
+DIST reazon-0.4.1.tar.gz 38654 BLAKE2B 1e2cc22c58b030bb504c47d5526b01a2f8d64f0e1fc95456313199defc847c0066aee3931d57c27592919a57633905951d3ab67cfa4a61035946609c772cf685 SHA512 fda8cda62bdf0818990a3a9bb5893b75bd4e875ecb6e6a280a1992e1d9b4b621e8ee7eac8e1d3ec0e06bf9bc8a37414695702247e5782e2859e4d8126906bf5f |
25 |
|
26 |
diff --git a/app-emacs/reazon/files/50reazon-gentoo.el b/app-emacs/reazon/files/50reazon-gentoo.el |
27 |
new file mode 100644 |
28 |
index 000000000000..431f7e90ae73 |
29 |
--- /dev/null |
30 |
+++ b/app-emacs/reazon/files/50reazon-gentoo.el |
31 |
@@ -0,0 +1 @@ |
32 |
+(add-to-list 'load-path "@SITELISP@") |
33 |
|
34 |
diff --git a/app-emacs/reazon/metadata.xml b/app-emacs/reazon/metadata.xml |
35 |
new file mode 100644 |
36 |
index 000000000000..8b0170cd063f |
37 |
--- /dev/null |
38 |
+++ b/app-emacs/reazon/metadata.xml |
39 |
@@ -0,0 +1,22 @@ |
40 |
+<?xml version="1.0" encoding="UTF-8"?> |
41 |
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> |
42 |
+ |
43 |
+<pkgmetadata> |
44 |
+ <maintainer type="project"> |
45 |
+ <email>gnu-emacs@g.o</email> |
46 |
+ <name>Gentoo GNU Emacs project</name> |
47 |
+ </maintainer> |
48 |
+ <longdescription> |
49 |
+ Reazon is an Emacs implementation of miniKanren, a small domain-specific |
50 |
+ logic programming language. Whereas languages like Elisp deal with |
51 |
+ functions that take inputs and yield outputs, miniKanren deals with sets of |
52 |
+ values that satisfy relations. Every function is a relation, but not vice |
53 |
+ versa, since a relation might include the output of a function but not its |
54 |
+ inputs. In such a case, miniKanren would attempt to find inputs yielding |
55 |
+ the output, effectively running the function backwards. |
56 |
+ </longdescription> |
57 |
+ <upstream> |
58 |
+ <bugs-to>https://github.com/nickdrozd/reazon/issues/</bugs-to> |
59 |
+ <remote-id type="github">nickdrozd/reazon</remote-id> |
60 |
+ </upstream> |
61 |
+</pkgmetadata> |
62 |
|
63 |
diff --git a/app-emacs/reazon/reazon-0.4.1.ebuild b/app-emacs/reazon/reazon-0.4.1.ebuild |
64 |
new file mode 100644 |
65 |
index 000000000000..3202940ae8b3 |
66 |
--- /dev/null |
67 |
+++ b/app-emacs/reazon/reazon-0.4.1.ebuild |
68 |
@@ -0,0 +1,24 @@ |
69 |
+# Copyright 1999-2023 Gentoo Authors |
70 |
+# Distributed under the terms of the GNU General Public License v2 |
71 |
+ |
72 |
+EAPI=8 |
73 |
+ |
74 |
+NEED_EMACS=26 |
75 |
+ |
76 |
+inherit elisp |
77 |
+ |
78 |
+DESCRIPTION="GNU Emacs implementation of miniKanren, logic programming language" |
79 |
+HOMEPAGE="https://github.com/nickdrozd/reazon/" |
80 |
+SRC_URI="https://github.com/nickdrozd/${PN}/archive/${PV}.tar.gz |
81 |
+ -> ${P}.tar.gz" |
82 |
+ |
83 |
+LICENSE="GPL-2+" |
84 |
+SLOT="0" |
85 |
+KEYWORDS="~amd64 ~x86" |
86 |
+ |
87 |
+DOCS=( CHANGELOG.org README.org ) |
88 |
+SITEFILE="50${PN}-gentoo.el" |
89 |
+ |
90 |
+src_test() { |
91 |
+ emake EMACS=${EMACS} test |
92 |
+} |