-
Notifications
You must be signed in to change notification settings - Fork 843
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
How to disable, or ignore make doc errors #12333
Comments
pip installing recommonmark seems to resolve this issue, but again, I have no need for these things |
Normally, it shouldn't decide to re-build the docs if they're already present -- and they're already present in the tarball. Can you send some additional information?
Additionally, if you don't care about tracking this down, you can |
Thanks for the response
I had a look at the configure file briefly and to me, with my limited understanding of configure/autotools it looks like it will try to install the docs if the "MPI_T.3" file is found. The file does exist in the tarball I will post the logs later when I get a chance to run it all again
|
Hmm -- I see that file in the tarball:
Are you seeing different output from
? And if so, how is that possible? Is |
it is in the tarball, which I why I think the script looks a bit odd
|
The script is auto-generated; it's inevitable that the formatting is weird. The source for that check is over here:
Can you send all the information I asked for in #12333 (comment)? |
browsable here, this was generated via a docker container of a somewhat modified config.log you can see the build.sh script how all this was generated |
I think I see what's happening here. I think we don't have a comprehensive-enough configure test. Specifically, we found the pre-built docs, but we also found Sphinx, we the assumption is "build the docs if we need to". Due to some complicated I think it'll be easier to solve this latter problem (i.e., ensure that Sphinx has all the right modules to run) rather than de-tangle the complex For the time being, you should be able to configure Open MPI with |
@PhilipDeegan We have the fix committed on |
with version 5.0.2 from
https://download.open-mpi.org/release/open-mpi/v5.0/openmpi-5.0.2.tar.bz2
During make, I am seeing the following error
I'm not really concerned that docs is failing, so it would be nice to not count this is a critical failure, how can I ignore this?
The text was updated successfully, but these errors were encountered: