mirror of
https://github.com/c-cube/linol.git
synced 2025-12-06 11:15:46 -05:00
remove lsp dependency in dune files
Signed-off-by: Sacha-Élie Ayoun <sachaayoun@gmail.com>
This commit is contained in:
parent
ca4546f1b5
commit
7f1c20700a
6 changed files with 13 additions and 4 deletions
4
src/dune
4
src/dune
|
|
@ -2,5 +2,5 @@
|
||||||
(name linol)
|
(name linol)
|
||||||
(public_name linol)
|
(public_name linol)
|
||||||
(private_modules log)
|
(private_modules log)
|
||||||
(flags :standard -warn-error -a+8)
|
(flags :standard -warn-error -a+8 -open Linol_lsp.Import)
|
||||||
(libraries yojson lsp logs threads trace.core))
|
(libraries yojson linol_lsp logs threads trace.core))
|
||||||
|
|
|
||||||
4
src/linol-lsp/dune
Normal file
4
src/linol-lsp/dune
Normal file
|
|
@ -0,0 +1,4 @@
|
||||||
|
(library
|
||||||
|
(name linol_lsp)
|
||||||
|
(public_name linol.lsp)
|
||||||
|
(libraries lsp jsonrpc))
|
||||||
3
src/linol-lsp/import.ml
Normal file
3
src/linol-lsp/import.ml
Normal file
|
|
@ -0,0 +1,3 @@
|
||||||
|
module Lsp = Lsp0
|
||||||
|
|
||||||
|
module Jsonrpc = Jsonrpc0
|
||||||
1
src/linol-lsp/jsonrpc0.ml
Normal file
1
src/linol-lsp/jsonrpc0.ml
Normal file
|
|
@ -0,0 +1 @@
|
||||||
|
include Jsonrpc
|
||||||
1
src/linol-lsp/lsp0.ml
Normal file
1
src/linol-lsp/lsp0.ml
Normal file
|
|
@ -0,0 +1 @@
|
||||||
|
include Lsp
|
||||||
|
|
@ -1,5 +1,5 @@
|
||||||
(library
|
(library
|
||||||
(name linol_lwt)
|
(name linol_lwt)
|
||||||
(public_name linol-lwt)
|
(public_name linol-lwt)
|
||||||
(libraries yojson lwt lwt.unix linol lsp jsonrpc)
|
(libraries yojson lwt lwt.unix linol linol_lsp)
|
||||||
(flags :standard -warn-error -a))
|
(flags :standard -warn-error -a -open Linol_lsp.Import))
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue