diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-03-07 00:21:23 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-03-07 00:53:31 +0100 |
| commit | 10c7e0a0e168032b41f425b23b53bfd9c24cf472 (patch) | |
| tree | b1aa9e689e8af3bc3a4ff21469f9afcdd0e42a0d /app-emacs | |
| parent | dev-libs/libbpf: Stabilize 0.7.0 arm64, #834693 (diff) | |
| download | gentoo-10c7e0a0e168032b41f425b23b53bfd9c24cf472.tar.gz gentoo-10c7e0a0e168032b41f425b23b53bfd9c24cf472.tar.bz2 gentoo-10c7e0a0e168032b41f425b23b53bfd9c24cf472.zip | |
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@gentoo.org>
Diffstat (limited to 'app-emacs')
| -rw-r--r-- | app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild | 7 |
1 files 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" |