diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-08-31 21:09:18 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-08-31 21:26:04 +0200 |
| commit | 4d7bb3a70562a7a8c3f1c31b28e6e9f3bad808f5 (patch) | |
| tree | 05c424ba5bcc9b45d0d0b9ac51af633026401407 /app-emacs | |
| parent | net-voip/murmur: Stabilize 1.3.4 amd64, #867730 (diff) | |
| download | gentoo-4d7bb3a70562a7a8c3f1c31b28e6e9f3bad808f5.tar.gz gentoo-4d7bb3a70562a7a8c3f1c31b28e6e9f3bad808f5.tar.bz2 gentoo-4d7bb3a70562a7a8c3f1c31b28e6e9f3bad808f5.zip | |
app-emacs/company-coq: bump to 1.0.1_p20220314
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'app-emacs')
| -rw-r--r-- | app-emacs/company-coq/Manifest | 1 | ||||
| -rw-r--r-- | app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild | 46 |
2 files changed, 47 insertions, 0 deletions
diff --git a/app-emacs/company-coq/Manifest b/app-emacs/company-coq/Manifest index c02201ab2771..683f29a219c5 100644 --- a/app-emacs/company-coq/Manifest +++ b/app-emacs/company-coq/Manifest @@ -1 +1,2 @@ DIST company-coq-1.0.1_p20210708.tar.gz 3803957 BLAKE2B d2bb3022228cc7a103d4343e914ec20cf539405062e475c7be6cd0db776490a7af35f10fc9e712733bd8f7c6667a05f8d3d6c4321820a61da0847b8bc718c182 SHA512 92a7d0bf8326460519e5f47fe1e9779a4cc2d2bf069898e1797fabf483535eca8244c1ea36bc525aac418e2c26036a8580076435ccbfaa5bdc2e6ee6f133b655 +DIST company-coq-1.0.1_p20220314.tar.gz 3804039 BLAKE2B 93458da7615f7c6f4a6c96c56aa14b95abd0a738a6653c5a3564829f3182ce890fdf52d4aa02e7b5079b7dd17db46e2eb9a7dbe271c579755e12606ba001487e SHA512 07b3c7f639e663ac9c114300fc53a729e2877563d9e2c4434010e12fa7ab435465a7daf6f47fc11076506f18d056c9672be4c6f4246a1b559284a0bf739dc696 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 new file mode 100644 index 000000000000..62082bd1ee13 --- /dev/null +++ b/app-emacs/company-coq/company-coq-1.0.1_p20220314.ebuild @@ -0,0 +1,46 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +H=a6e349e0131f676a885bd14c908fd26054b2df42 + +inherit elisp + +DESCRIPTION="Collection of extensions for Proof General's Coq mode" +HOMEPAGE="https://github.com/cpitclaudel/company-coq/" +SRC_URI="https://github.com/cpitclaudel/${PN}/archive/${H}.tar.gz + -> ${P}.tar.gz" +S="${WORKDIR}"/${PN}-${H} + +LICENSE="GPL-3+" +SLOT="0" +KEYWORDS="~amd64 ~x86" + +BDEPEND=" + app-emacs/company-math + app-emacs/company-mode + app-emacs/dash + app-emacs/yasnippet +" +RDEPEND=" + ${BDEPEND} + app-emacs/proofgeneral +" + +PATCHES=( "${FILESDIR}"/${PN}-refman-path.patch ) +SITEFILE="50${PN}-gentoo.el" + +src_prepare(){ + default + + sed -i "s|@SITEETC@|${EPREFIX}${SITEETC}|" ./company-coq.el || die +} + +src_install() { + elisp_src_install + einstalldocs + + insinto "${SITEETC}" + doins -r ./refman +} |