Is there a reason you don't just upload all the different mumps version as a git history into this repo, so users don't have to first download the sources? For my workflow (developer of software depending on Ipopt and therefore mumps), this is better because I don't have to wait for the download on every fresh cmake configuration step and work with git submodules instead.
I very much like the ease of use of your CMake files and therefore I wonder: Have you considered mirroring MUMPS here on github or do you know of any other git mirror?
Is there a reason you don't just upload all the different mumps version as a git history into this repo, so users don't have to first download the sources? For my workflow (developer of software depending on Ipopt and therefore mumps), this is better because I don't have to wait for the download on every fresh cmake configuration step and work with git submodules instead.
I very much like the ease of use of your CMake files and therefore I wonder: Have you considered mirroring MUMPS here on github or do you know of any other git mirror?