Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

No SDK created when importing a dune project #430

Closed
dozed opened this issue Oct 2, 2023 · 3 comments
Closed

No SDK created when importing a dune project #430

dozed opened this issue Oct 2, 2023 · 3 comments

Comments

@dozed
Copy link

dozed commented Oct 2, 2023

plugin version: 0.117.1-2023.2

Description

When importing a dune project it seems that no SDK is added:

image

@giraud
Copy link
Owner

giraud commented Oct 4, 2023

The import menu is no more present in latest versions of idea. Old import code is not registered anymore.
An implementation of https://plugins.jetbrains.com/docs/intellij/external-system-integration.html is needed for dune, but it’s lot of code.

@giraud
Copy link
Owner

giraud commented Oct 11, 2023

I remember why there is no more SDK, it is related to #365 . SDK is only available in intellij flavor editors and not in other like webstorm.
When you open a ml file, there is a top banner with a link to setup opam in settings.

@giraud
Copy link
Owner

giraud commented Nov 17, 2023

import has been updated.
when opening/importing a dune project, directories that contains a dune file are recognized has source directories.
also, when importing from sources, you can define the opam/switch during the import process

@giraud giraud closed this as completed Nov 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants