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

   1 {
   2   lib,
   3   mkCoqDerivation,
   4   which,
   5   coq,
   6   metacoq,
   7   version ? null,
   8 }:
   9
  10 with lib;
  11 mkCoqDerivation {
  12   pname = "ElmExtraction";
  13   repo = "coq-elm-extraction";
  14   owner = "AU-COBRA";
  15   domain = "github.com";
  16
  17   inherit version;
  18   defaultVersion =
  19     with versions;
  20     switch
  21       [
  22         coq.coq-version
  23         metacoq.version
  24       ]
  25       [
  26         {
  27           cases = [
  28             (range "8.17" "8.20")
  29             (range "1.3.1" "1.3.2")
  30           ];
  31           out = "0.1.0";
  32         }
  33       ]
  34       null;
  35
  36   release."0.1.0".sha256 = "EWjubBHsxAl2HuRAfJI3B9qzP2mj89eh0CUc8y7/7Ds=";
  37
  38   releaseRev = v: "v${v}";
  39
  40   propagatedBuildInputs = [
  41     coq.ocamlPackages.findlib
  42     metacoq
  43   ];
  44
  45   postPatch = ''patchShebangs ./tests/process-extraction-examples.sh'';
  46
  47   meta = {
  48     description = "A framework for extracting Coq programs to Elm";
  49     maintainers = with maintainers; [ _4ever2 ];
  50     license = licenses.mit;
  51   };
  52 }