Configure-time downloading with curl does not work for the MPICH workaround
Using curl
is a nice fallback solution, especially for MacOS, which does not have wget
by default.
Unfortunately, it does not work as it is for the MPICH workaround because:
- Downloading the commit-based URLs from GitHub with
curl
requires the-L
flag. The tag-based URLs do not seem to be affected because the OpenMPI workaround gets downloaded even without the flag. - The
-O
flag must be provided before each URL on the command line. Otherwise, the contents of the files are simply printed to the standard output.