aboutsummaryrefslogtreecommitdiff
path: root/bin/dune
diff options
context:
space:
mode:
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)))