diff options
| author | Matthew Glazar <strager.nds@gmail.com> | 2019-05-03 12:29:37 -0700 |
|---|---|---|
| committer | Matthew Glazar <strager.nds@gmail.com> | 2019-05-03 12:29:37 -0700 |
| commit | 4c305b73b6de2e453d7c2e7e410f287837e7aa17 (patch) | |
| tree | 6918975021b0f3e986e0e04909852d5fba01b559 /pkgs/development/libraries/microsoft_gsl | |
| parent | cda148062a26178ebd3d660ebd091b1789d232c9 (diff) | |
microsoft_gsl: use fetchFromGitHub
fetchFromGitHub has friendlier ways to download sources. Use it instead
of fetchgit for microsoft_gsl.
Diffstat (limited to 'pkgs/development/libraries/microsoft_gsl')
| -rw-r--r-- | pkgs/development/libraries/microsoft_gsl/default.nix | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/pkgs/development/libraries/microsoft_gsl/default.nix b/pkgs/development/libraries/microsoft_gsl/default.nix index 0902c6b37c8b..b63de43fd9b1 100644 --- a/pkgs/development/libraries/microsoft_gsl/default.nix +++ b/pkgs/development/libraries/microsoft_gsl/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchgit, catch, cmake +{ stdenv, fetchFromGitHub, catch, cmake }: let @@ -8,8 +8,9 @@ stdenv.mkDerivation rec { name = "microsoft_gsl-${version}"; version = "2.0.0"; - src = fetchgit { - url = "https://github.com/Microsoft/GSL.git"; + src = fetchFromGitHub { + owner = "Microsoft"; + repo = "GSL"; rev = "v${version}"; sha256 = "1kxfca9ik934nkzyn34ingkyvwpc09li81cg1yc6vqcrdw51l4ri"; }; |