cpp-gsl: init at unstable-2018-02-15 (#34998)

This commit is contained in:
Yuri Aisaka 2018-02-18 03:27:57 +09:00 committed by Joachim F
parent 3df3ec8c7c
commit 49b0760b3b
2 changed files with 31 additions and 1 deletions

View file

@ -0,0 +1,29 @@
{ stdenv, fetchFromGitHub, cmake, catch }:
stdenv.mkDerivation rec {
pname = "GSL-unstable";
version = "2017-02-15";
name = "${pname}-${version}";
src = fetchFromGitHub {
owner = "Microsoft";
repo = "GSL";
rev = "c87c123d1b3e64ae2cf725584f0c004da4d90f1c";
sha256 = "0h8py468bvxnydkjs352d7a9s8hk0ihc7msjkcnzj2d7nzp5nsc1";
};
nativeBuildInputs = [ cmake catch ];
meta = with stdenv.lib; {
homepage = https://github.com/Microsoft/GSL;
description = "C++ Core Guideline support library";
longDescription = ''
The Guideline Support Library (GSL) contains functions and types that are suggested for
use by the C++ Core Guidelines maintained by the Standard C++ Foundation.
This package contains Microsoft's implementation of GSL.
'';
platforms = stdenv.lib.platforms.unix;
license = licenses.mit;
maintainers = with maintainers; [ yuriaisaka ];
};
}

View file

@ -5748,7 +5748,8 @@ with pkgs;
compcert = callPackage ../development/compilers/compcert { };
cpp-gsl = callPackage ../development/libraries/cpp-gsl { };
# Users installing via `nix-env` will likely be using the REPL,
# which has a hard dependency on Z3, so make sure it is available.
cryptol = haskellPackages.cryptol.overrideDerivation (oldAttrs: {