use git subtree instead of submodule

This commit is contained in:
Simon Cruanes 2025-04-10 15:47:52 -04:00
parent 9be3237051
commit fc691e0abd
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
5 changed files with 3 additions and 7 deletions

3
.gitmodules vendored
View file

@ -1,3 +0,0 @@
[submodule "submodules/ocaml-lsp"]
path = submodules/ocaml-lsp
url = https://github.com/ocaml/ocaml-lsp.git

2
dune
View file

@ -1 +1 @@
(data_only_dirs submodules) (data_only_dirs thirdparty)

@ -1 +0,0 @@
Subproject commit aae6986391a8519de3da6a7a341f2bd3376e0d2f

2
vendor/jsonrpc/dune vendored
View file

@ -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 (library
(name linol_jsonrpc) (name linol_jsonrpc)

2
vendor/lsp/dune vendored
View file

@ -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 (library
(name linol_lsp) (name linol_lsp)