diff --git a/.gitmodules b/.gitmodules index 32c92e0b..e69de29b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "submodules/ocaml-lsp"] - path = submodules/ocaml-lsp - url = https://github.com/ocaml/ocaml-lsp.git diff --git a/dune b/dune index 171ef1c3..373b4558 100644 --- a/dune +++ b/dune @@ -1 +1 @@ -(data_only_dirs submodules) +(data_only_dirs thirdparty) diff --git a/submodules/ocaml-lsp b/submodules/ocaml-lsp deleted file mode 160000 index aae69863..00000000 --- a/submodules/ocaml-lsp +++ /dev/null @@ -1 +0,0 @@ -Subproject commit aae6986391a8519de3da6a7a341f2bd3376e0d2f diff --git a/vendor/jsonrpc/dune b/vendor/jsonrpc/dune index 8429aec2..a2d6478f 100644 --- a/vendor/jsonrpc/dune +++ b/vendor/jsonrpc/dune @@ -1,4 +1,4 @@ -(copy_files %{project_root}/submodules/ocaml-lsp/jsonrpc/src/*.{ml,mli}) +(copy_files %{project_root}/thirdparty/lsp/jsonrpc/src/*.{ml,mli}) (library (name linol_jsonrpc) diff --git a/vendor/lsp/dune b/vendor/lsp/dune index 8e6d1ae4..9850b746 100644 --- a/vendor/lsp/dune +++ b/vendor/lsp/dune @@ -1,4 +1,4 @@ -(copy_files %{project_root}/submodules/ocaml-lsp/lsp/src/*.{ml,mli,mll}) +(copy_files %{project_root}/thirdparty/lsp/lsp/src/*.{ml,mli,mll}) (library (name linol_lsp)