tjh.dev
1{
2 lib,
3 buildDunePackage,
4 dolmen,
5 dolmen_loop,
6 dolmen_type,
7 linol,
8 linol-lwt,
9 logs,
10 lsp,
11}:
12
13buildDunePackage {
14 pname = "dolmen_lsp";
15 inherit (dolmen) src version;
16
17 patches = [ ./linol-common-migration.patch ];
18
19 buildInputs = [
20 dolmen
21 dolmen_loop
22 dolmen_type
23 linol
24 linol-lwt
25 logs
26 lsp
27 ];
28
29 meta = dolmen.meta // {
30 description = "LSP server for automated deduction languages";
31 mainProgram = "dolmenls";
32 maintainers = [ lib.maintainers.stepbrobd ];
33 };
34}