1 |
commit: 4d7bb3a70562a7a8c3f1c31b28e6e9f3bad808f5 |
2 |
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
3 |
AuthorDate: Wed Aug 31 19:09:18 2022 +0000 |
4 |
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
5 |
CommitDate: Wed Aug 31 19:26:04 2022 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4d7bb3a7 |
7 |
|
8 |
app-emacs/company-coq: bump to 1.0.1_p20220314 |
9 |
|
10 |
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> |
11 |
|
12 |
app-emacs/company-coq/Manifest | 1 + |
13 |
.../company-coq/company-coq-1.0.1_p20220314.ebuild | 46 ++++++++++++++++++++++ |
14 |
2 files changed, 47 insertions(+) |
15 |
|
16 |
diff --git a/app-emacs/company-coq/Manifest b/app-emacs/company-coq/Manifest |
17 |
index c02201ab2771..683f29a219c5 100644 |
18 |
--- a/app-emacs/company-coq/Manifest |
19 |
+++ b/app-emacs/company-coq/Manifest |
20 |
@@ -1 +1,2 @@ |
21 |
DIST company-coq-1.0.1_p20210708.tar.gz 3803957 BLAKE2B d2bb3022228cc7a103d4343e914ec20cf539405062e475c7be6cd0db776490a7af35f10fc9e712733bd8f7c6667a05f8d3d6c4321820a61da0847b8bc718c182 SHA512 92a7d0bf8326460519e5f47fe1e9779a4cc2d2bf069898e1797fabf483535eca8244c1ea36bc525aac418e2c26036a8580076435ccbfaa5bdc2e6ee6f133b655 |
22 |
+DIST company-coq-1.0.1_p20220314.tar.gz 3804039 BLAKE2B 93458da7615f7c6f4a6c96c56aa14b95abd0a738a6653c5a3564829f3182ce890fdf52d4aa02e7b5079b7dd17db46e2eb9a7dbe271c579755e12606ba001487e SHA512 07b3c7f639e663ac9c114300fc53a729e2877563d9e2c4434010e12fa7ab435465a7daf6f47fc11076506f18d056c9672be4c6f4246a1b559284a0bf739dc696 |
23 |
|
24 |
diff --git a/app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild b/app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild |
25 |
new file mode 100644 |
26 |
index 000000000000..62082bd1ee13 |
27 |
--- /dev/null |
28 |
+++ b/app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild |
29 |
@@ -0,0 +1,46 @@ |
30 |
+# Copyright 1999-2022 Gentoo Authors |
31 |
+# Distributed under the terms of the GNU General Public License v2 |
32 |
+ |
33 |
+EAPI=8 |
34 |
+ |
35 |
+H=a6e349e0131f676a885bd14c908fd26054b2df42 |
36 |
+ |
37 |
+inherit elisp |
38 |
+ |
39 |
+DESCRIPTION="Collection of extensions for Proof General's Coq mode" |
40 |
+HOMEPAGE="https://github.com/cpitclaudel/company-coq/" |
41 |
+SRC_URI="https://github.com/cpitclaudel/${PN}/archive/${H}.tar.gz |
42 |
+ -> ${P}.tar.gz" |
43 |
+S="${WORKDIR}"/${PN}-${H} |
44 |
+ |
45 |
+LICENSE="GPL-3+" |
46 |
+SLOT="0" |
47 |
+KEYWORDS="~amd64 ~x86" |
48 |
+ |
49 |
+BDEPEND=" |
50 |
+ app-emacs/company-math |
51 |
+ app-emacs/company-mode |
52 |
+ app-emacs/dash |
53 |
+ app-emacs/yasnippet |
54 |
+" |
55 |
+RDEPEND=" |
56 |
+ ${BDEPEND} |
57 |
+ app-emacs/proofgeneral |
58 |
+" |
59 |
+ |
60 |
+PATCHES=( "${FILESDIR}"/${PN}-refman-path.patch ) |
61 |
+SITEFILE="50${PN}-gentoo.el" |
62 |
+ |
63 |
+src_prepare(){ |
64 |
+ default |
65 |
+ |
66 |
+ sed -i "s|@SITEETC@|${EPREFIX}${SITEETC}|" ./company-coq.el || die |
67 |
+} |
68 |
+ |
69 |
+src_install() { |
70 |
+ elisp_src_install |
71 |
+ einstalldocs |
72 |
+ |
73 |
+ insinto "${SITEETC}" |
74 |
+ doins -r ./refman |
75 |
+} |