2023-01-11 07:51:40 +00:00
|
|
|
{ lib
|
|
|
|
, fetchFromGitHub
|
|
|
|
, buildDotnetModule
|
|
|
|
, dotnetCorePackages
|
|
|
|
, marksman
|
|
|
|
, testers
|
|
|
|
}:
|
|
|
|
|
|
|
|
buildDotnetModule rec {
|
|
|
|
pname = "marksman";
|
2024-01-02 11:29:13 +00:00
|
|
|
version = "2023-11-20";
|
2023-01-11 07:51:40 +00:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "artempyanykh";
|
|
|
|
repo = "marksman";
|
|
|
|
rev = version;
|
2024-01-02 11:29:13 +00:00
|
|
|
sha256 = "sha256-sgAXGGlzQ6mrGG3cxQ8iCIzyc0TrlVFlCpl+nW46EPU=";
|
2023-01-11 07:51:40 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
projectFile = "Marksman/Marksman.fsproj";
|
2023-04-29 16:46:19 +00:00
|
|
|
dotnetBuildFlags = [ "-p:VersionString=${version}" ];
|
2023-01-11 07:51:40 +00:00
|
|
|
|
|
|
|
doCheck = true;
|
|
|
|
testProjectFile = "Tests/Tests.fsproj";
|
|
|
|
|
|
|
|
nugetDeps = ./deps.nix;
|
|
|
|
|
2023-10-09 19:29:22 +00:00
|
|
|
dotnet-sdk = dotnetCorePackages.sdk_7_0;
|
|
|
|
dotnet-runtime = dotnetCorePackages.runtime_7_0;
|
2023-01-11 07:51:40 +00:00
|
|
|
|
|
|
|
postInstall = ''
|
|
|
|
install -m 644 -D -t "$out/share/doc/${pname}" LICENSE
|
|
|
|
'';
|
|
|
|
|
|
|
|
passthru = {
|
|
|
|
updateScript = ./update.sh;
|
|
|
|
tests.version = testers.testVersion {
|
|
|
|
package = marksman;
|
|
|
|
command = "marksman --version";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
meta = with lib; {
|
|
|
|
description = "Language Server for Markdown";
|
|
|
|
longDescription = ''
|
|
|
|
Marksman is a program that integrates with your editor
|
|
|
|
to assist you in writing and maintaining your Markdown documents.
|
|
|
|
Using LSP protocol it provides completion, goto definition,
|
|
|
|
find references, rename refactoring, diagnostics, and more.
|
|
|
|
In addition to regular Markdown, it also supports wiki-link-style
|
|
|
|
references that enable Zettelkasten-like note taking.
|
|
|
|
'';
|
|
|
|
homepage = "https://github.com/artempyanykh/marksman";
|
|
|
|
license = licenses.mit;
|
2023-11-16 04:20:00 +00:00
|
|
|
maintainers = with maintainers; [ stasjok plusgut ];
|
2023-01-11 07:51:40 +00:00
|
|
|
platforms = dotnet-sdk.meta.platforms;
|
2024-01-13 08:15:51 +00:00
|
|
|
mainProgram = "marksman";
|
2023-01-11 07:51:40 +00:00
|
|
|
};
|
|
|
|
}
|