Skip to content

Check if ocamllsp is present the dune way#1907

Merged
smorimoto merged 10 commits intoocamllabs:masterfrom
PizieDust:ocamllsp
Aug 3, 2025
Merged

Check if ocamllsp is present the dune way#1907
smorimoto merged 10 commits intoocamllabs:masterfrom
PizieDust:ocamllsp

Conversation

@PizieDust
Copy link
Contributor

Previously, wrt Dune package management we check if ocamllsp is present by checking if its found in the dev-tools.lock directory.
This PR ocaml/dune#11922 allows us to be able to check for the presence of ocamllsp in a much cleaner way dune tools which ocamllsp.

cc @pitag-ha

Copy link
Member

@pitag-ha pitag-ha left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Perfect, this is much better than the old workaround! Thanks, @PizieDust, and dune devs!

PD: I'm personally not a huge fan of using polymorphic variants all over. But that's just my taste.

Copy link
Member

@pitag-ha pitag-ha left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

I leave it to you and to @smorimoto whether to leave or to remove the changelog entry.

@smorimoto
Copy link
Collaborator

Could you please resolve conflicts?

@smorimoto smorimoto merged commit 4ca4c8f into ocamllabs:master Aug 3, 2025
5 checks passed
PizieDust added a commit to PizieDust/vscode-ocaml-platform that referenced this pull request Aug 26, 2025
* check if ocamllsp is present the dune way

* add changelog

* Update src/dune.ml

Co-authored-by: Sonja Heinze <[email protected]>

* Update src/dune.ml

Co-authored-by: Sonja Heinze <[email protected]>

* Update src/sandbox.ml

Co-authored-by: Sonja Heinze <[email protected]>

* Update src/dune.mli

Co-authored-by: Sonja Heinze <[email protected]>

* minor bug fix

* install ocamllsp for dune

* remove changelog

* Update src/dune.mli

Signed-off-by: Sora Morimoto <[email protected]>

---------

Signed-off-by: Sora Morimoto <[email protected]>
Co-authored-by: Sonja Heinze <[email protected]>
Co-authored-by: Sora Morimoto <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants