diff options
author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2019-12-20 23:32:18 +0100 |
---|---|---|
committer | Todd Gamblin <tgamblin@llnl.gov> | 2019-12-20 14:32:18 -0800 |
commit | 497fddfcb9fdcebac47b56c6d856110b9150b5ea (patch) | |
tree | b04db6fc53ec437c5751f3b364b962293701e5ac /share | |
parent | 1b93320848b41057f8892c2a59287d904d28ce6e (diff) | |
download | spack-497fddfcb9fdcebac47b56c6d856110b9150b5ea.tar.gz spack-497fddfcb9fdcebac47b56c6d856110b9150b5ea.tar.bz2 spack-497fddfcb9fdcebac47b56c6d856110b9150b5ea.tar.xz spack-497fddfcb9fdcebac47b56c6d856110b9150b5ea.zip |
Fetching from URLs falls back to mirrors if they exist (#13881)
Users can now list mirrors of the main url in packages.
- [x] Instead of just a single `url` attribute, users can provide a list (`urls`) in the package, and these will be tried by in order by the fetch strategy.
- [x] To handle one of the most common mirror cases, define a `GNUMirrorPackage` mixin to handle all the standard GNU mirrors. GNU packages can set `gnu_mirror_path` to define the path within a mirror, and the mixin handles setting up all the requisite GNU mirror URLs.
- [x] update all GNU packages in `builtin` to use the `GNUMirrorPackage` mixin.
Diffstat (limited to 'share')
0 files changed, 0 insertions, 0 deletions