diff options
Diffstat (limited to 'devel/llvm-cheri/Makefile')
| -rw-r--r-- | devel/llvm-cheri/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/llvm-cheri/Makefile b/devel/llvm-cheri/Makefile index 72265d6fc5e0..5a02a7e8351d 100644 --- a/devel/llvm-cheri/Makefile +++ b/devel/llvm-cheri/Makefile @@ -73,7 +73,7 @@ OPTIONS_SUB= yes CLANG_DESC= Build clang CLANG_PORTDOCS= clang CLANG_USE= GNOME=libxml2 -DOCS_BUILD_DEPENDS= sphinx-build-${PYTHON_VER}:textproc/py-sphinx@${PY_FLAVOR} \ +DOCS_BUILD_DEPENDS= ${PY_SPHINX} \ ${PYTHON_PKGNAMEPREFIX}recommonmark>=0.0.20180530:textproc/py-recommonmark@${PY_FLAVOR} DOCS_CMAKE_ON= -DLLVM_ENABLE_SPHINX=ON \ -DSPHINX_EXECUTABLE=${LOCALBASE}/bin/sphinx-build-${PYTHON_VER} \ |