1 |
commit: 36102d4690dc9e99d550128783624dbc77b448b9 |
2 |
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sun Mar 6 02:19:59 2022 +0000 |
4 |
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
5 |
CommitDate: Sun Mar 6 02:54:33 2022 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=36102d46 |
7 |
|
8 |
app-emacs/company-coq: new package; add 1.0.1_p20210708 |
9 |
|
10 |
2021.07.08 snapshot |
11 |
|
12 |
Package-Manager: Portage-3.0.30, Repoman-3.0.3 |
13 |
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> |
14 |
|
15 |
app-emacs/company-coq/Manifest | 1 + |
16 |
.../company-coq/company-coq-1.0.1_p20210708.ebuild | 43 ++++++++++++++++++++++ |
17 |
.../company-coq/files/50company-coq-gentoo.el | 1 + |
18 |
.../files/company-coq-refman-path.patch | 13 +++++++ |
19 |
app-emacs/company-coq/metadata.xml | 17 +++++++++ |
20 |
5 files changed, 75 insertions(+) |
21 |
|
22 |
diff --git a/app-emacs/company-coq/Manifest b/app-emacs/company-coq/Manifest |
23 |
new file mode 100644 |
24 |
index 000000000000..c02201ab2771 |
25 |
--- /dev/null |
26 |
+++ b/app-emacs/company-coq/Manifest |
27 |
@@ -0,0 +1 @@ |
28 |
+DIST company-coq-1.0.1_p20210708.tar.gz 3803957 BLAKE2B d2bb3022228cc7a103d4343e914ec20cf539405062e475c7be6cd0db776490a7af35f10fc9e712733bd8f7c6667a05f8d3d6c4321820a61da0847b8bc718c182 SHA512 92a7d0bf8326460519e5f47fe1e9779a4cc2d2bf069898e1797fabf483535eca8244c1ea36bc525aac418e2c26036a8580076435ccbfaa5bdc2e6ee6f133b655 |
29 |
|
30 |
diff --git a/app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild b/app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild |
31 |
new file mode 100644 |
32 |
index 000000000000..968938b2b0f6 |
33 |
--- /dev/null |
34 |
+++ b/app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild |
35 |
@@ -0,0 +1,43 @@ |
36 |
+# Copyright 1999-2022 Gentoo Authors |
37 |
+# Distributed under the terms of the GNU General Public License v2 |
38 |
+ |
39 |
+EAPI=8 |
40 |
+ |
41 |
+H=382db93374380e5db56f02934ee32bbe39159019 |
42 |
+ |
43 |
+inherit elisp |
44 |
+ |
45 |
+DESCRIPTION="Collection of extensions for Proof General's Coq mode" |
46 |
+HOMEPAGE="https://github.com/cpitclaudel/company-coq/" |
47 |
+SRC_URI="https://github.com/cpitclaudel/${PN}/archive/${H}.tar.gz |
48 |
+ -> ${P}.tar.gz" |
49 |
+S="${WORKDIR}"/${PN}-${H} |
50 |
+ |
51 |
+LICENSE="GPL-3+" |
52 |
+SLOT="0" |
53 |
+KEYWORDS="~amd64 ~x86" |
54 |
+ |
55 |
+RDEPEND=" |
56 |
+ app-emacs/company-math |
57 |
+ app-emacs/company-mode |
58 |
+ app-emacs/dash |
59 |
+ app-emacs/yasnippet |
60 |
+" |
61 |
+BDEPEND="${RDEPEND}" |
62 |
+ |
63 |
+PATCHES=( "${FILESDIR}"/${PN}-refman-path.patch ) |
64 |
+SITEFILE="50${PN}-gentoo.el" |
65 |
+ |
66 |
+src_prepare(){ |
67 |
+ default |
68 |
+ |
69 |
+ sed -i "s|@SITEETC@|${EPREFIX}${SITEETC}|" ./company-coq.el || die |
70 |
+} |
71 |
+ |
72 |
+src_install() { |
73 |
+ elisp_src_install |
74 |
+ einstalldocs |
75 |
+ |
76 |
+ insinto "${SITEETC}" |
77 |
+ doins -r ./refman |
78 |
+} |
79 |
|
80 |
diff --git a/app-emacs/company-coq/files/50company-coq-gentoo.el b/app-emacs/company-coq/files/50company-coq-gentoo.el |
81 |
new file mode 100644 |
82 |
index 000000000000..431f7e90ae73 |
83 |
--- /dev/null |
84 |
+++ b/app-emacs/company-coq/files/50company-coq-gentoo.el |
85 |
@@ -0,0 +1 @@ |
86 |
+(add-to-list 'load-path "@SITELISP@") |
87 |
|
88 |
diff --git a/app-emacs/company-coq/files/company-coq-refman-path.patch b/app-emacs/company-coq/files/company-coq-refman-path.patch |
89 |
new file mode 100644 |
90 |
index 000000000000..96c642f1aea0 |
91 |
--- /dev/null |
92 |
+++ b/app-emacs/company-coq/files/company-coq-refman-path.patch |
93 |
@@ -0,0 +1,13 @@ |
94 |
+index 3a984878..9a42fed9 100644 |
95 |
+--- a/company-coq.el |
96 |
++++ b/company-coq.el |
97 |
+@@ -762,8 +762,7 @@ Useful as a value for `company-coq-completion-predicate'." |
98 |
+ "Full path of this script.") |
99 |
+ |
100 |
+ (defconst company-coq-refman-path |
101 |
+- (when company-coq-script-full-path |
102 |
+- (expand-file-name "refman/" (file-name-directory company-coq-script-full-path))) |
103 |
++ (expand-file-name "@SITEETC@/refman/") |
104 |
+ "Refman (and other assets)'s directory.") |
105 |
+ |
106 |
+ (defface company-coq-doc-header-face-docs-and-sources |
107 |
|
108 |
diff --git a/app-emacs/company-coq/metadata.xml b/app-emacs/company-coq/metadata.xml |
109 |
new file mode 100644 |
110 |
index 000000000000..824f0351513e |
111 |
--- /dev/null |
112 |
+++ b/app-emacs/company-coq/metadata.xml |
113 |
@@ -0,0 +1,17 @@ |
114 |
+<?xml version="1.0" encoding="UTF-8"?> |
115 |
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> |
116 |
+ |
117 |
+<pkgmetadata> |
118 |
+ <maintainer type="person"> |
119 |
+ <email>xgqt@g.o</email> |
120 |
+ <name>Maciej Barć</name> |
121 |
+ </maintainer> |
122 |
+ <maintainer type="project"> |
123 |
+ <email>gnu-emacs@g.o</email> |
124 |
+ <name>Gentoo GNU Emacs project</name> |
125 |
+ </maintainer> |
126 |
+ <upstream> |
127 |
+ <bugs-to>https://github.com/cpitclaudel/company-coq/issues/</bugs-to> |
128 |
+ <remote-id type="github">cpitclaudel/company-coq</remote-id> |
129 |
+ </upstream> |
130 |
+</pkgmetadata> |