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

   1 { lib, mkCoqDerivation, coq, serapi, makeWrapper, version ? null }:
   2
   3 mkCoqDerivation rec {
   4   pname = "coq-lsp";
   5   owner = "ejgallego";
   6   namePrefix = [ ];
   7
   8   useDune = true;
   9
  10   release."0.1.8+8.16".sha256 = "sha256-dEEAK5IXGjHB8D/fYJRQG/oCotoXJuWLxXB0GQlY2eo=";
  11   release."0.1.8+8.17".sha256 = "sha256-TmaE+osn/yAPU1Dyni/UTd5w/L2+qyPE3H/g6IWvHLQ=";
  12   release."0.1.8+8.18".sha256 = "sha256-UYmiDdbax4wxp5dLia/1t1gFyK6UELtJJvDMd5Hd14s=";
  13
  14   inherit version;
  15   defaultVersion = with lib.versions; lib.switch coq.coq-version [
  16     { case = isEq "8.16"; out = "0.1.8+8.16"; }
  17     { case = isEq "8.17"; out = "0.1.8+8.17"; }
  18     { case = isEq "8.18"; out = "0.1.8+8.18"; }
  19   ] null;
  20
  21   nativeBuildInputs = [ makeWrapper ];
  22
  23   installPhase = ''
  24     runHook preInstall
  25     dune install ${pname} --prefix=$out
  26     wrapProgram $out/bin/coq-lsp --prefix OCAMLPATH : $OCAMLPATH
  27     runHook postInstall
  28   '';
  29
  30   propagatedBuildInputs = [ serapi ]
  31     ++ (with coq.ocamlPackages; [ camlp-streams dune-build-info menhir uri yojson ]);
  32
  33   meta = with lib; {
  34     description = "Language Server Protocol and VS Code Extension for Coq";
  35     homepage = "https://github.com/ejgallego/coq-lsp";
  36     changelog = "https://github.com/ejgallego/coq-lsp/blob/${defaultVersion}/CHANGES.md";
  37     maintainers = with maintainers; [ alizter marsam ];
  38     license = licenses.lgpl21Only;
  39   };
  40 }