public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages.coq-ext-lib: refactor

Browse Source
This commit is contained in:
Vincent Laporte 2020-11-25 07:38:14 +01:00 committed by Vincent Laporte
parent 4617fcd6c4
commit 9366259691
1 changed files with 32 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

47
pkgs/development/coq-modules/coq-ext-lib/default.nix
View File

@ -1,17 +1,34 @@
{ stdenv, fetchFromGitHub, coq }: { stdenv, fetchFromGitHub, coq, ...}@args:
let params = let
{ hashes = {
"8.5" = { version = "0.9.4"; sha256 = "1y66pamgsdxlq2w1338lj626ln70cwj7k53hxcp933g8fdsa4hp0"; }; "0.9.4" = "1y66pamgsdxlq2w1338lj626ln70cwj7k53hxcp933g8fdsa4hp0";
"8.6" = { version = "0.9.5"; sha256 = "1b4cvz3llxin130g13calw5n1zmvi6wdd5yb8a41q7yyn2hd3msg"; }; "0.9.5" = "1b4cvz3llxin130g13calw5n1zmvi6wdd5yb8a41q7yyn2hd3msg";
"8.7" = { version = "0.9.7"; sha256 = "00v4bm4glv1hy08c8xsm467az6d1ashrznn8p2bmbmmp52lfg7ag"; }; "0.9.7" = "00v4bm4glv1hy08c8xsm467az6d1ashrznn8p2bmbmmp52lfg7ag";
"8.8" = { version = "0.11.2"; sha256 = "0iyka81g26x5n99xic7kqn8vxqjw8rz7vw9rs27iw04lf137vzv6"; }; "0.10.0" = "1kxi5bmjwi5zqlqgkyzhhxwgcih7wf60cyw9398k2qjkmi186r4a";
"8.9" = { version = "0.11.2"; sha256 = "0iyka81g26x5n99xic7kqn8vxqjw8rz7vw9rs27iw04lf137vzv6"; }; "0.10.1" = "0r1vspad8fb8bry3zliiz4hfj4w1iib1l2gm115a94m6zbiksd95";
"8.10" = { version = "0.11.2"; sha256 = "0iyka81g26x5n99xic7kqn8vxqjw8rz7vw9rs27iw04lf137vzv6"; }; "0.10.2" = "1b150rc5bmz9l518r4m3vwcrcnnkkn9q5lrwygkh0a7mckgg2k9f";
"8.11" = { version = "0.11.2"; sha256 = "0iyka81g26x5n99xic7kqn8vxqjw8rz7vw9rs27iw04lf137vzv6"; }; "0.10.3" = "0795gs2dlr663z826mp63c8h2zfadn541dr8q0fvnvi2z7kfyslb";
"8.12" = { version = "0.11.2"; sha256 = "0iyka81g26x5n99xic7kqn8vxqjw8rz7vw9rs27iw04lf137vzv6"; }; "0.11.1" = "0dmf1p9j8lm0hwaq0af18jxdwg869xi2jm8447zng7krrq3kvkg5";
"0.11.2" = "0iyka81g26x5n99xic7kqn8vxqjw8rz7vw9rs27iw04lf137vzv6";
}; };
param = params.${coq.coq-version};
default-versions = {
"8.5" = "0.9.4";
"8.6" = "0.9.5";
"8.7" = "0.9.7";
"8.8" = "0.11.2";
"8.9" = "0.11.2";
"8.10" = "0.11.2";
"8.11" = "0.11.2";
"8.12" = "0.11.2";
};
param = rec {
version = args.version or default-versions.${coq.coq-version};
sha256 = hashes.${version};
};
in in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
@ -20,9 +37,9 @@ stdenv.mkDerivation rec {
inherit (param) version; inherit (param) version;
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "coq-ext-lib"; owner = "coq-community";
repo = "coq-ext-lib"; repo = "coq-ext-lib";
rev = "v${param.version}"; rev = "v${version}";
inherit (param) sha256; inherit (param) sha256;
}; };
@ -40,6 +57,6 @@ stdenv.mkDerivation rec {
}; };
passthru = { passthru = {
compatibleCoqVersions = v: builtins.hasAttr v params; compatibleCoqVersions = v: builtins.hasAttr v default-versions;
}; };
} }