diff --git a/src/dune b/src/dune index 965dc0be..b888bf16 100644 --- a/src/dune +++ b/src/dune @@ -2,5 +2,5 @@ (name linol) (public_name linol) (private_modules log) - (flags :standard -warn-error -a+8) - (libraries yojson lsp logs threads trace.core)) + (flags :standard -warn-error -a+8 -open Linol_lsp.Import) + (libraries yojson linol_lsp logs threads trace.core)) diff --git a/src/linol-lsp/dune b/src/linol-lsp/dune new file mode 100644 index 00000000..ac1782d6 --- /dev/null +++ b/src/linol-lsp/dune @@ -0,0 +1,4 @@ +(library + (name linol_lsp) + (public_name linol.lsp) + (libraries lsp jsonrpc)) diff --git a/src/linol-lsp/import.ml b/src/linol-lsp/import.ml new file mode 100644 index 00000000..f39d45c7 --- /dev/null +++ b/src/linol-lsp/import.ml @@ -0,0 +1,3 @@ +module Lsp = Lsp0 + +module Jsonrpc = Jsonrpc0 \ No newline at end of file diff --git a/src/linol-lsp/jsonrpc0.ml b/src/linol-lsp/jsonrpc0.ml new file mode 100644 index 00000000..011837a4 --- /dev/null +++ b/src/linol-lsp/jsonrpc0.ml @@ -0,0 +1 @@ +include Jsonrpc \ No newline at end of file diff --git a/src/linol-lsp/lsp0.ml b/src/linol-lsp/lsp0.ml new file mode 100644 index 00000000..8ef3e58e --- /dev/null +++ b/src/linol-lsp/lsp0.ml @@ -0,0 +1 @@ +include Lsp \ No newline at end of file diff --git a/src/lwt/dune b/src/lwt/dune index 109364d6..a2a36075 100644 --- a/src/lwt/dune +++ b/src/lwt/dune @@ -1,5 +1,5 @@ (library (name linol_lwt) (public_name linol-lwt) - (libraries yojson lwt lwt.unix linol lsp jsonrpc) - (flags :standard -warn-error -a)) + (libraries yojson lwt lwt.unix linol linol_lsp) + (flags :standard -warn-error -a -open Linol_lsp.Import))