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

   1 {
   2   lib,
   3   mkCoqDerivation,
   4   coq,
   5   parsec,
   6   MenhirLib,
   7   version ? null,
   8 }:
   9
  10 (mkCoqDerivation {
  11   pname = "json";
  12   owner = "liyishuai";
  13   repo = "coq-json";
  14   inherit version;
  15
  16   defaultVersion =
  17     let
  18       inherit (lib.versions) range;
  19     in
  20     lib.switch coq.coq-version [
  21       {
  22         case = range "8.14" "9.0";
  23         out = "0.2.0";
  24       }
  25       {
  26         case = range "8.14" "8.20";
  27         out = "0.1.3";
  28       }
  29     ] null;
  30   release = {
  31     "0.2.0".sha256 = "sha256-qDRTgWLUvu4x3/d3BDcqo2I4W5ZmLyRiwuY/Tm/FuKA=";
  32     "0.1.3".sha256 = "sha256-lElAzW4IuX+BB6ngDjlyKn0MytLRfbhQanB+Lct/WR0=";
  33   };
  34   releaseRev = v: "v${v}";
  35
  36   propagatedBuildInputs = [
  37     parsec
  38     MenhirLib
  39     coq.ocamlPackages.menhir
  40   ];
  41
  42   useDuneifVersion = v: lib.versions.isGe "0.2.0" v || v == "dev";
  43
  44   meta = {
  45     description = "From JSON to Coq, and vice versa.";
  46     license = lib.licenses.bsd3;
  47   };
  48 }).overrideAttrs
  49   (
  50     o:
  51     lib.optionalAttrs (o.version != null && lib.versions.isLt "0.2.0" o.version) {
  52       buildFlags = [
  53         "MENHIRFLAGS=--coq"
  54         "MENHIRFLAGS+=--coq-no-version-check"
  55       ];
  56     }
  57   )