aboutsummaryrefslogtreecommitdiff
path: root/bin/dune
diff options
context:
space:
mode:
authorChimrod <>2025-08-01 15:25:03 +0200
committerChimrod <>2025-08-04 14:00:40 +0200
commitc3982131f3075689a15512daef67e254f27371ea (patch)
treed770c07493959a7899ac3c4ad50cadcca7e44f51 /bin/dune
parent3046fb0d0c1ceac2c6a6ca9456e9e05671e0cef9 (diff)
Added a lsp server
Diffstat (limited to 'bin/dune')
-rw-r--r--bin/dune29
1 files changed, 14 insertions, 15 deletions
diff --git a/bin/dune b/bin/dune
index 71e619d..e927617 100644
--- a/bin/dune
+++ b/bin/dune
@@ -1,15 +1,14 @@
-(executable
- (public_name qsp_parser)
- (name qsp_parser)
- (libraries
- sedlex
- qsp_syntax
- qsp_checks
- qparser
- tools
- )
-
- (preprocess (pps
- ppx_deriving.show
- ppx_deriving.eq )))
-
+(executables
+ (public_names qsp_parser lsp_server)
+ (names qsp_parser lsp_server)
+ (libraries
+ sedlex
+ linol
+ linol-eio
+ eio_main
+ qsp_syntax
+ qsp_checks
+ qparser
+ tools)
+ (preprocess
+ (pps ppx_deriving.show ppx_deriving.eq)))