tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{ stdenv, fetchFromGitHub, coq, mathcomp-bigenough, mathcomp-finmap }:
2
3stdenv.mkDerivation rec {
4 version = "0.1.0";
5 name = "coq${coq.coq-version}-mathcomp-analysis-${version}";
6
7 src = fetchFromGitHub {
8 owner = "math-comp";
9 repo = "analysis";
10 rev = version;
11 sha256 = "0hwkr2wzy710pcyh274fcarzdx8sv8myp16pv0vq5978nmih46al";
12 };
13
14 buildInputs = [ coq ];
15 propagatedBuildInputs = [ mathcomp-bigenough mathcomp-finmap ];
16
17 installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
18
19 meta = {
20 description = "Analysis library compatible with Mathematical Components";
21 inherit (src.meta) homepage;
22 inherit (coq.meta) platforms;
23 license = stdenv.lib.licenses.cecill-c;
24 maintainers = [ stdenv.lib.maintainers.vbgl ];
25 };
26
27 passthru = {
28 compatibleCoqVersions = v: builtins.elem v [ "8.8" "8.9" ];
29 };
30}