tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 callPackage,
4 mkCoqDerivation,
5 coq,
6 stdlib,
7 dune,
8 version ? null,
9}:
10
11(mkCoqDerivation {
12 pname = "itauto";
13 owner = "fbesson";
14 domain = "gitlab.inria.fr";
15
16 release."8.20.0".sha256 = "sha256-LYKGbI3O6yw6CiTJNUGL11PT4q4o+gJK1kQgKQL0/Hk=";
17 release."8.19.0".sha256 = "sha256-xKWCF4dYvvlJUVGCZcR2RLCG55vlGzu2GN30MeRvVD4=";
18 release."8.18.0".sha256 = "sha256-4mDDnKTeYrf27uRMkydQxO7j2tfgTFXOREW474d40eo=";
19 release."8.17.0".sha256 = "sha256-fgdnKchNT1Hyrq14gU8KWYnlSfg3qlsSw5A4+RoA26w=";
20 release."8.16.0".sha256 = "sha256-4zAUYGlw/pBcLPv2GroIduIlvbfi1+Vy+TdY8KLCqO4=";
21 release."8.15.0".sha256 = "sha256:10qpv4nx1p0wm9sas47yzsg9z22dhvizszfa21yff08a8fr0igya";
22 release."8.14.0".sha256 = "sha256:1k6pqhv4dwpkwg81f2rlfg40wh070ks1gy9r0ravm2zhsbxqcfc9";
23 release."8.13+no".sha256 = "sha256-gXoxtLcHPoyjJkt7WqvzfCMCQlh6kL2KtCGe3N6RC/A=";
24 inherit version;
25 defaultVersion =
26 let
27 case = case: out: { inherit case out; };
28 in
29 with lib.versions;
30 lib.switch coq.coq-version [
31 (case (isEq "8.20") "8.20.0")
32 (case (isEq "8.19") "8.19.0")
33 (case (isEq "8.18") "8.18.0")
34 (case (isEq "8.17") "8.17.0")
35 (case (isEq "8.16") "8.16.0")
36 (case (isEq "8.15") "8.15.0")
37 (case (isEq "8.14") "8.14.0")
38 (case (isEq "8.13") "8.13+no")
39 ] null;
40
41 mlPlugin = true;
42 nativeBuildInputs = (with coq.ocamlPackages; [ ocamlbuild ]);
43 enableParallelBuilding = false;
44
45 passthru.tests.suite = callPackage ./test.nix { };
46
47 propagatedBuildInputs = [ stdlib ];
48
49 meta = {
50 description = "Reflexive SAT solver parameterised by a leaf tactic and Nelson-Oppen support";
51 maintainers = with lib.maintainers; [ siraben ];
52 license = lib.licenses.gpl3Plus;
53 };
54}).overrideAttrs
55 (
56 o:
57 lib.optionalAttrs (o.version == "dev" || lib.versionAtLeast o.version "8.16") {
58 propagatedBuildInputs = o.propagatedBuildInputs ++ [ coq.ocamlPackages.findlib ];
59 }
60 // lib.optionalAttrs (o.version == "dev" || lib.versionAtLeast o.version "8.18") {
61 nativeBuildInputs = with coq.ocamlPackages; [
62 ocaml
63 findlib
64 dune
65 ];
66 }
67 )