microsoft_gsl: 2017-02-13 -> 2.0.0

GSL now has an official release. Upgrade microsoft_gsl to the latest
release (made August 20, 2018).
This commit is contained in:
Matthew Glazar 2019-05-03 01:00:21 -07:00
parent cdf234714b
commit cda148062a

View File

@ -1,4 +1,4 @@
{ stdenv, fetchgit, cmake { stdenv, fetchgit, catch, cmake
}: }:
let let
@ -6,18 +6,18 @@ let
in in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "microsoft_gsl-${version}"; name = "microsoft_gsl-${version}";
version = "2017-02-13"; version = "2.0.0";
src = fetchgit { src = fetchgit {
url = "https://github.com/Microsoft/GSL.git"; url = "https://github.com/Microsoft/GSL.git";
rev = "3819df6e378ffccf0e29465afe99c3b324c2aa70"; rev = "v${version}";
sha256 = "03d17mnx6n175aakin313308q14wzvaa9pd0m1yfk6ckhha4qf35"; sha256 = "1kxfca9ik934nkzyn34ingkyvwpc09li81cg1yc6vqcrdw51l4ri";
}; };
# build phase just runs the unit tests, so skip it if # build phase just runs the unit tests, so skip it if
# we're doing a cross build # we're doing a cross build
nativeBuildInputs = [ cmake ]; nativeBuildInputs = [ catch cmake ];
buildPhase = if nativeBuild then "make" else "true"; buildPhase = if nativeBuild then "make" else "true";
installPhase = '' installPhase = ''