commit: 10c7e0a0e168032b41f425b23b53bfd9c24cf472
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Mar 6 23:21:23 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Mar 6 23:53:31 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=10c7e0a0
app-emacs/company-coq: add proofgeneral runtime dependency
because it is needed to add hook to coq-mode provided by PG
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
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
index 968938b2b0f6..15a3bcbd6aad 100644
--- a/app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild
+++ b/app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild
@@ -17,13 +17,16 @@ LICENSE="GPL-3+"
SLOT="0"
KEYWORDS="~amd64 ~x86"
-RDEPEND="
+BDEPEND="
app-emacs/company-math
app-emacs/company-mode
app-emacs/dash
app-emacs/yasnippet
"
-BDEPEND="${RDEPEND}"
+RDEPEND="
+ ${BDEPEND}
+ app-emacs/proofgeneral
+"
PATCHES=( "${FILESDIR}"/${PN}-refman-path.patch )
SITEFILE="50${PN}-gentoo.el"
