summaryrefslogtreecommitdiff
path: root/lang/coq
diff options
context:
space:
mode:
authorwiz <wiz@pkgsrc.org>2022-05-01 09:45:41 +0000
committerwiz <wiz@pkgsrc.org>2022-05-01 09:45:41 +0000
commit7bea616b32487ebba0d6d7f21b7ed1f188542505 (patch)
treec1bc4b00f242b30e39f2590810a148ee7c753655 /lang/coq
parenta2de7f39da324ec269b55d1dbcaaec0444e2f551 (diff)
downloadpkgsrc-7bea616b32487ebba0d6d7f21b7ed1f188542505.tar.gz
*: fix usage of versioned_dependencies
Remove unused includes, fix dependencies where it's not included.
Diffstat (limited to 'lang/coq')
-rw-r--r--lang/coq/Makefile3
-rw-r--r--lang/coq/options.mk4
2 files changed, 3 insertions, 4 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile
index 9de27cf1d6b..20f85885346 100644
--- a/lang/coq/Makefile
+++ b/lang/coq/Makefile
@@ -1,5 +1,4 @@
-# $NetBSD: Makefile,v 1.142 2022/04/18 19:11:30 adam Exp $
-#
+# $NetBSD: Makefile,v 1.143 2022/05/01 09:45:42 wiz Exp $
DISTNAME= coq-8.12.2
PKGREVISION= 4
diff --git a/lang/coq/options.mk b/lang/coq/options.mk
index 3127aaf7004..1b2f330ce78 100644
--- a/lang/coq/options.mk
+++ b/lang/coq/options.mk
@@ -1,4 +1,4 @@
-# $NetBSD: options.mk,v 1.11 2021/02/09 22:37:43 dholland Exp $
+# $NetBSD: options.mk,v 1.12 2022/05/01 09:45:42 wiz Exp $
PKG_OPTIONS_VAR= PKG_OPTIONS.coq
PKG_SUPPORTED_OPTIONS= doc coqide
@@ -17,7 +17,6 @@ BUILD_DEPENDS+= hevea>=1.10:../../textproc/hevea
#
PYTHON_VERSIONS_INCOMPATIBLE= 27
-PYTHON_VERSIONED_DEPENDENCIES= sphinx:tool
.include "../../lang/python/tool.mk"
SUBST_CLASSES+= sphinx-build
SUBST_STAGE.sphinx-build= pre-configure
@@ -25,6 +24,7 @@ SUBST_MESSAGE.sphinx-build= Fix hardcoded sphinx-build
SUBST_FILES.sphinx-build+= Makefile.doc configure.ml doc/dune
SUBST_SED.sphinx-build+= -e 's/sphinx-build/sphinx-build-${PYVERSSUFFIX}/g'
+TOOL_DEPENDS+= py[0-9]*-sphinx-[0-9]*:../../textproc/py-sphinx
BUILD_DEPENDS+= py[0-9]*-sphinx-rtd-theme-[0-9]*:../../textproc/py-sphinx-rtd-theme
BUILD_DEPENDS+= py[0-9]*-sphinxcontrib-bibtex-[0-9]*:../../textproc/py-sphinxcontrib-bibtex
BUILD_DEPENDS+= py[0-9]*-pybtex-[0-9]*:../../textproc/py-pybtex