Skip to content

Commit bcbc42c

Browse files
committed
Pass CMAKE_PREFIX_PATH into docs builds
1 parent 70a2dc4 commit bcbc42c

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

scripts/build_docs.sh

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -95,7 +95,11 @@ EOF
9595
# Build documentation
9696
git -C ${DART_CLONE_DIR} checkout ${version}
9797
rm -rf *
98-
cmake ${DART_CLONE_DIR}
98+
if [ -n "${CMAKE_PREFIX_PATH}" ]; then
99+
cmake ${DART_CLONE_DIR} -DCMAKE_PREFIX_PATH="${CMAKE_PREFIX_PATH}"
100+
else
101+
cmake ${DART_CLONE_DIR}
102+
fi
99103
make docs
100104

101105
# Check if docs/doxygen/html is not empty

0 commit comments

Comments
 (0)