diff options
author | Howard Pritchard <howardp@lanl.gov> | 2023-05-29 03:23:42 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-29 11:23:42 +0200 |
commit | fddaeadff8d83ff6d46364192763a66ed6a21781 (patch) | |
tree | 035ed78521dd7d37d27f6712d911ed810cb7bdc4 /.gitignore | |
parent | c85eaf9dc566f55fd197bba220e9c60e76b8848e (diff) | |
download | spack-fddaeadff8d83ff6d46364192763a66ed6a21781.tar.gz spack-fddaeadff8d83ff6d46364192763a66ed6a21781.tar.bz2 spack-fddaeadff8d83ff6d46364192763a66ed6a21781.tar.xz spack-fddaeadff8d83ff6d46364192763a66ed6a21781.zip |
OPENMPI: disable use of sphinx (#37717)
Sphinx is used to build Open MPI manpages, etc. as part of the make dist
process to create release tarballs. There should be no need/use to do
this within Spack. Also some sites have older Sphinx installs which
aren't compatible with the needs of the Open MPI documentation.
For example, attempts to install openmpi@main fail at NERSC owing to
such a situation.
Since Spack normally is used to build from release tarballs, in which
the docs have already been installed, this should present no issues.
This configuration option will be ignored for older than 5.0.0 Open MPI releases.
Signed-off-by: Howard Pritchard <howardp@lanl.gov>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions