pkgs/development/coq-modules/itauto/default.nix

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