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

   1 {
   2   lib,
   3   mkCoqDerivation,
   4   coq,
   5   stdlib,
   6   version ? null,
   7 }:
   8
   9 (mkCoqDerivation {
  10   pname = "tlc";
  11   owner = "charguer";
  12   inherit version;
  13   displayVersion = {
  14     tlc = false;
  15   };
  16   defaultVersion =
  17     with lib.versions;
  18     lib.switch coq.coq-version [
  19       {
  20         case = range "8.13" "8.16";
  21         out = "20211215";
  22       }
  23       {
  24         case = range "8.12" "8.13";
  25         out = "20210316";
  26       }
  27       {
  28         case = range "8.10" "8.12";
  29         out = "20200328";
  30       }
  31       {
  32         case = range "8.6" "8.12";
  33         out = "20181116";
  34       }
  35     ] null;
  36   release."20211215".sha256 = "sha256:0m4d4jhdcyq8p2gpz9j3nd6jqzmz2bjmbpc0q06b38b8i550mamp";
  37   release."20210316".sha256 = "1hlavnx20lxpf2iydbbxqmim9p8wdwv4phzp9ypij93yivih0g4a";
  38   release."20200328".sha256 = "16vzild9gni8zhgb3qhmka47f8zagdh03k6nssif7drpim8233lx";
  39   release."20181116".sha256 = "032lrbkxqm9d3fhf6nv1kq2z0mqd3czv3ijlbsjwnfh12xck4vpl";
  40
  41   propagatedBuildInputs = [ stdlib ];
  42
  43   meta = with lib; {
  44     homepage = "http://www.chargueraud.org/softs/tlc/";
  45     description = "Non-constructive library for Coq";
  46     license = licenses.free;
  47     maintainers = [ maintainers.vbgl ];
  48   };
  49 }).overrideAttrs
  50   (
  51     x:
  52     lib.optionalAttrs (lib.versionOlder x.version "20210316" && x.version != "dev") {
  53       installFlags = [ "CONTRIB=$(out)/lib/coq/${coq.coq-version}/user-contrib" ];
  54     }
  55   )