93 lines
3.1 KiB
Nix
93 lines
3.1 KiB
Nix
|
{
|
||
|
|
coq,
|
||
|
|
mkCoqDerivation,
|
||
|
|
mathcomp,
|
||
|
|
mathcomp-finmap,
|
||
|
|
mathcomp-bigenough,
|
||
|
|
lib,
|
||
|
|
version ? null,
|
||
|
|
useDune ? false,
|
||
|
|
}@args:
|
||
|
|
mkCoqDerivation {
|
||
|
|
|
||
|
|
namePrefix = [
|
||
|
|
"coq"
|
||
|
|
"mathcomp"
|
||
|
|
];
|
||
|
|
pname = "multinomials";
|
||
|
|
|
||
|
|
owner = "math-comp";
|
||
|
|
|
||
|
|
inherit version;
|
||
|
|
defaultVersion =
|
||
|
|
let
|
||
|
|
case = coq: mc: out: {
|
||
|
|
cases = [
|
||
|
|
coq
|
||
|
|
mc
|
||
|
|
];
|
||
|
|
inherit out;
|
||
|
|
};
|
||
|
|
in
|
||
|
|
with lib.versions;
|
||
|
|
lib.switch
|
||
|
|
[ coq.coq-version mathcomp.version ]
|
||
|
|
[
|
||
|
|
(case (range "8.18" "9.1") (range "2.1.0" "2.4.0") "2.4.0")
|
||
|
|
(case (range "8.17" "9.0") (range "2.1.0" "2.3.0") "2.3.0")
|
||
|
|
(case (range "8.17" "8.20") (isGe "2.1.0") "2.2.0")
|
||
|
|
(case (range "8.16" "8.18") "2.1.0" "2.1.0")
|
||
|
|
(case (range "8.16" "8.18") "2.0.0" "2.0.0")
|
||
|
|
(case (isGe "8.15") (range "1.15.0" "1.19.0") "1.6.0")
|
||
|
|
(case (isGe "8.10") (range "1.13.0" "1.17.0") "1.5.6")
|
||
|
|
(case (range "8.10" "8.16") (range "1.12.0" "1.15.0") "1.5.5")
|
||
|
|
(case (range "8.10" "8.12") "1.12.0" "1.5.3")
|
||
|
|
(case (range "8.7" "8.12") "1.11.0" "1.5.2")
|
||
|
|
(case (range "8.7" "8.11") (range "1.8" "1.10") "1.5.0")
|
||
|
|
(case (range "8.7" "8.10") (range "1.8" "1.10") "1.4")
|
||
|
|
(case "8.6" (range "1.6" "1.7") "1.1")
|
||
|
|
]
|
||
|
|
null;
|
||
|
|
release = {
|
||
|
|
"2.4.0".sha256 = "sha256-7zfIddRH+Sl4nhEPtS/lMZwRUZI45AVFpcC/UC8Z0Yo=";
|
||
|
|
"2.3.0".sha256 = "sha256-usIcxHOAuN+f/j3WjVbPrjz8Hl9ac8R6kYeAKi3CEts=";
|
||
|
|
"2.2.0".sha256 = "sha256-Cie6paweITwPZy6ej9+qIvHFWknVR382uJPW927t/fo=";
|
||
|
|
"2.1.0".sha256 = "sha256-QT91SBJ6DXhyg4j/okTvPP6yj2DnnPbnSlJ/p8pvZbY=";
|
||
|
|
"2.0.0".sha256 = "sha256-2zWHzMBsO2j8EjN7CgCmKQcku9Be8aVlme0LD5p4ab8=";
|
||
|
|
"1.6.0".sha256 = "sha256-lEM+sjqajIOm1c3lspHqcSIARgMR9RHbTQH4veHLJfU=";
|
||
|
|
"1.5.6".sha256 = "sha256-cMixgc34T9Ic6v+tYmL49QUNpZpPV5ofaNuHqblX6oY=";
|
||
|
|
"1.5.5".sha256 = "sha256-VdXA51vr7DZl/wT/15YYMywdD7Gh91dMP9t7ij47qNQ=";
|
||
|
|
"1.5.4".sha256 = "0s4sbh4y88l125hdxahr56325hdhxxdmqmrz7vv8524llyv3fciq";
|
||
|
|
"1.5.3".sha256 = "1462x40y2qydjd2wcg8r6qr8cx3xv4ixzh2h8vp9h7arylkja1qd";
|
||
|
|
"1.5.2".sha256 = "15aspf3jfykp1xgsxf8knqkxv8aav2p39c2fyirw7pwsfbsv2c4s";
|
||
|
|
"1.5.1".sha256 = "13nlfm2wqripaq671gakz5mn4r0xwm0646araxv0nh455p9ndjs3";
|
||
|
|
"1.5.0".sha256 = "064rvc0x5g7y1a0nip6ic91vzmq52alf6in2bc2dmss6dmzv90hw";
|
||
|
|
"1.5.0".rev = "1.5";
|
||
|
|
"1.4".sha256 = "0vnkirs8iqsv8s59yx1fvg1nkwnzydl42z3scya1xp1b48qkgn0p";
|
||
|
|
"1.3".sha256 = "0l3vi5n094nx3qmy66hsv867fnqm196r8v605kpk24gl0aa57wh4";
|
||
|
|
"1.2".sha256 = "1mh1w339dslgv4f810xr1b8v2w7rpx6fgk9pz96q0fyq49fw2xcq";
|
||
|
|
"1.1".sha256 = "1q8alsm89wkc0lhcvxlyn0pd8rbl2nnxg81zyrabpz610qqjqc3s";
|
||
|
|
"1.0".sha256 = "1qmbxp1h81cy3imh627pznmng0kvv37k4hrwi2faa101s6bcx55m";
|
||
|
|
};
|
||
|
|
|
||
|
|
useDuneifVersion = lib.versions.range "1.5.3" "2.2.0";
|
||
|
|
|
||
|
|
preConfigure = ''
|
||
|
|
patchShebangs configure || true
|
||
|
|
'';
|
||
|
|
|
||
|
|
propagatedBuildInputs = [
|
||
|
|
mathcomp.boot
|
||
|
|
mathcomp.algebra
|
||
|
|
mathcomp-finmap
|
||
|
|
mathcomp.fingroup
|
||
|
|
mathcomp-bigenough
|
||
|
|
];
|
||
|
|
|
||
|
|
meta = {
|
||
|
|
description = "Coq/SSReflect Library for Monoidal Rings and Multinomials";
|
||
|
|
license = lib.licenses.cecill-c;
|
||
|
|
};
|
||
|
|
}
|
||
|
|
// lib.optionalAttrs (args ? useDune) { inherit useDune; }
|