-
Notifications
You must be signed in to change notification settings - Fork 157
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
INSTALL: Script fails at PETSc while downloading HWLOC #3644
Comments
There appear to be two links that they search to find the URL. The former (https://download.open-mpi.org/release/hwloc/v2.10/hwloc-2.10.0.tar.gz) appears to work. It's possible that that server or your network experienced a temporary issue. Can you please try again? |
Unfortunately, I have been trying this off an on for the last month or so, hoping that I just caught someone with a missing file. It's never worked. I have also noticed that it is trying two places. The Also the help message from the log says |
Strange. Do you have a non-standard network setup? Or some sort of firewall? This is really an issue with PETSc instead of Firedrake so I would recommend asking for help there. If you want to reproduce the issue without using Firedrake you should be able to run Lastly, we updated our fork of PETSc last Friday. I think that is unlikely to have fixed this issue, but you could try a fresh install and see if things work. |
We do in-fact have non-standard network with a very annoying firewall. But this is a know problem with this sort of automatic install script, so I tried downloading the failing hwloc file with a computer on the guest network, and my personal phone. All got the same problem. Yeah, I know this problem is ultimately in the script provided by PETSc, but I didn't know how much control your script was exerting over it. I will check their forums. I'll post here if I get any meaningful information there for completeness. While I've been trying this for over a month, I downloaded a new "firedrake-install" script on 2024-06-21. |
It is also possible to install PETSc separately from the rest of the installation script. If you run
I don't really recommend this though. Figuring out how to satisfy the firewall is definitely a better option. Alternatively we do have Docker and Singularity containers that might be suitable. |
Actually the option here is:
Alternative:
|
With the extensive help of @balay (99% sure it's the same person) over on the PETSc Discord, I was able work out the problem was our annoying corporate firewall. (It's now having the same problem with the PETSc script downloading HDF5, but again its likely a problem with our annoying corporate firewall, which I will have to muddle through now that I know that's what the problem is.) For reference, here's the link to the Discord thread: Thank you all for your help. |
Glad to hear you're making progress! Thanks for sharing these tips. |
BTW: something firedrake installer could do is accept additional PETSc configure options - similar to the
If they are append to the end of firedrake generated options - they can over-ride the defaults set here. |
Firedrake already supports |
Ah - then @jonathonmckay can use this feature to add in required petsc configure options to overcome the firewall issues. |
Oh yeah.
Guess I didn't read the whole thing, or didn't understand what it would mean to my specific case when I did. |
Yes, setting
(Manually download the required files first, of course) |
Describe the error
The installation script fails at the "Installing petsc" phase, while the PETSc script is trying to download HWLOC (Specifically: https://web.cels.anl.gov/projects/petsc/download/externalpackages/hwloc-2.10.0.tar.gz)
Steps to Reproduce
Following steps at https://www.firedrakeproject.org/download.html
Specifically:
Expected behavior
The install script should run and download all required files
Error message
Terminal Messages
firedrake-install.log (Tail end)
Environment:
Additional context
The link that fails is https://web.cels.anl.gov/projects/petsc/download/externalpackages/hwloc-2.10.0.tar.gz
I have tried this URL on several computers. All return a "404".
The text was updated successfully, but these errors were encountered: