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.

Sign up for GitHub

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

Jump to bottom

Support --native-options and //NATIVE_OPTIONS #1493

Closed
quintesse opened this issue Oct 25, 2022 · 0 comments · Fixed by #1494
Closed

Support --native-options and //NATIVE_OPTIONS #1493

quintesse opened this issue Oct 25, 2022 · 0 comments · Fixed by #1494
Labels
ideas Some idea/suggestion around jbang behavior/feature set

Comments

@quintesse
Copy link
Contributor

In #1397 --native-options was mentioned but it wasn't implemented in the PR. So opening this issue to track proper support for passing native options to the native image tool.
@quintesse quintesse added the ideas Some idea/suggestion around jbang behavior/feature set label Oct 25, 2022
@quintesse quintesse mentioned this issue Oct 25, 2022
Closed
quintesse added a commit to quintesse/jbang that referenced this issue Oct 25, 2022
@quintesse
feat: added support for specifying native options
71fe077 
Added both `//NATIVE_OPTIONS` and `--native-options`

Fixes jbangdev#1493
@quintesse quintesse mentioned this issue Oct 25, 2022
Merged
quintesse added a commit to quintesse/jbang that referenced this issue Oct 25, 2022
@quintesse
feat: added support for specifying native options
5e98479 
Added both `//NATIVE_OPTIONS` and `--native-options`.
Also enabled `//COMPILE_OPTIONS` for both Kotlin and Groovy sources.
Updated docs to prefer the newer tag and option names.

Fixes jbangdev#1493
quintesse added a commit to quintesse/jbang that referenced this issue Oct 25, 2022
@quintesse
feat: added support for specifying native options
b9b229c 
Added both `//NATIVE_OPTIONS` and `--native-option`.
Also enabled `//COMPILE_OPTIONS` for both Kotlin and Groovy sources.
Updated docs to prefer the newer tag and option names.

Fixes jbangdev#1493
maxandersen pushed a commit that referenced this issue Oct 25, 2022
@quintesse
feat: added support for specifying native options (#1494)
6e6312d 
Added both `//NATIVE_OPTIONS` and `--native-option`.
Also enabled `//COMPILE_OPTIONS` for both Kotlin and Groovy sources.
Updated docs to prefer the newer tag and option names.

Fixes #1493
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
ideas Some idea/suggestion around jbang behavior/feature set
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

feat: added support for specifying native options quintesse/jbang
1 participant
@quintesse