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

Add //> using jvm "…" directive #1337

Closed
alexarchambault opened this issue Sep 8, 2022 · 2 comments
Closed

Add //> using jvm "…" directive #1337

alexarchambault opened this issue Sep 8, 2022 · 2 comments
Assignees
Labels
enhancement New feature or request

Comments

@alexarchambault
Copy link
Contributor

Is your feature request related to a problem? Please describe.
Users can ask for a custom JVM on the command line, like scala-cli --jvm 11 foo.sc. Yet there's no corresponding using directive.

Describe the solution you'd like
Directives such as these should be accepted by Scala CLI:

//> using jvm "11"
//> using jvm "graalvm-java17:22.2.0"
@alexarchambault
Copy link
Contributor Author

Should be a matter of setting jvmIdOpt in the BuildOptions provided by the directive.

@lwronski
Copy link
Contributor

lwronski commented Nov 7, 2022

Fixed by #1539.

@lwronski lwronski closed this as completed Nov 7, 2022
@lwronski lwronski self-assigned this Nov 7, 2022
@tgodzik tgodzik moved this to Done in Issue Board Jun 27, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
Archived in project
Development

No branches or pull requests

3 participants