2016-02-27 20:27:24 +01:00
|
|
|
let mirrors = import ./mirrors.nix; in
|
|
|
|
|
|
|
|
{ system }:
|
|
|
|
|
|
|
|
{ url ? builtins.head urls
|
|
|
|
, urls ? []
|
2022-08-23 13:06:54 +02:00
|
|
|
, sha256 ? ""
|
|
|
|
, hash ? ""
|
2017-08-04 08:22:04 +02:00
|
|
|
, name ? baseNameOf (toString url)
|
2016-02-27 20:27:24 +01:00
|
|
|
}:
|
|
|
|
|
2022-08-23 13:06:54 +02:00
|
|
|
# assert exactly one hash is set
|
|
|
|
assert hash != "" || sha256 != "";
|
|
|
|
assert hash != "" -> sha256 == "";
|
|
|
|
|
2016-02-27 20:27:24 +01:00
|
|
|
import <nix/fetchurl.nix> {
|
2022-08-23 13:06:54 +02:00
|
|
|
inherit system hash sha256 name;
|
2016-02-27 20:27:24 +01:00
|
|
|
|
|
|
|
url =
|
|
|
|
# Handle mirror:// URIs. Since <nix/fetchurl.nix> currently
|
|
|
|
# supports only one URI, use the first listed mirror.
|
|
|
|
let m = builtins.match "mirror://([a-z]+)/(.*)" url; in
|
|
|
|
if m == null then url
|
|
|
|
else builtins.head (mirrors.${builtins.elemAt m 0}) + (builtins.elemAt m 1);
|
|
|
|
}
|