Allow building Sphinx docs

If docs/requirements.txt exists in the source tree, that means that we
have Sphinx documentation, not Pandoc documentation.  Create a Python
virtual environment before running configure and install the Right
things for Sphinx to build the man pages.  This also means that there
will be no Pandoc-generated man pages, so don't bother trying to
convert them to HTML.

Signed-off-by: Jeff Squyres <[email protected]>

Author: jsquyres

jenkins/open-mpi-build-script.sh

@@ -179,6 +179,14 @@ fi
 # ./configure --help.  In prep for 5.0, we added a developer
 # requirement for pandoc to build (not required for dist tarballs),
 # with an explicit option to disable.
+# JMS: The requirement will shortly change from pandoc to Sphinx.
+# Keep pandoc for now, but also add sphinx so that our CI can test the
+# Sphinx PR before merging the removal of pandoc/addition of Sphinx.
+if test -f docs/requirements.txt; then
+    virtualenv --python=python3 venv
+    . ./venv/bin/activate
+    pip install -r docs/requirements.txt
+fi
 if `which pandoc > /dev/null 2>&1` ; then
     echo "--> Found pandoc.  Allowing default manpage behavior"
 else

jenkins/open-mpi.dist.create-tarball.groovy

@@ -109,9 +109,15 @@ parallel (
     node(manpage_builder) {
       stage('Build Man Pages') {
 	checkout_code();
-	sh "ls -lR . ; /bin/bash ompi-scripts/jenkins/open-mpi.dist.create-tarball.build-manpages.sh ${build_prefix} ${tarball} ${branch}"
+	sh """
+if test ! -f docs/requirements.txt; then
+    ls -lR . ; /bin/bash ompi-scripts/jenkins/open-mpi.dist.create-tarball.build-manpages.sh ${build_prefix} ${tarball} ${branch}
+fi
+"""
 	artifacts = sh(returnStdout:true, script:'cat ${WORKSPACE}/manpage-build-artifacts.txt').trim()
-	currentBuild.description="${currentBuild.description}<b>Manpages:</b> <A HREF=\"${artifacts}\">${artifacts}</A><BR>\n"
+	if (artifacts != "") {
+            currentBuild.description="${currentBuild.description}<b>Manpages:</b> <A HREF=\"${artifacts}\">${artifacts}</A><BR>\n"
+        }
       }
     }
   },
@@ -123,6 +129,11 @@ parallel (
 	sh """aws s3 cp ${build_prefix}/${tarball} ${tarball}
 tar xf ${tarball}
 cd openmpi-*
+if test -f docs/requirements.txt; then
+    virtualenv --python=python3 venv
+    . ./venv/bin/activate
+    pip install -r docs/requirements.txt
+fi
 ./configure
 make distcheck"""
       }