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

Redesign JNI library rules #19

Merged
merged 1 commit into from
Oct 25, 2021
Merged

Redesign JNI library rules #19

merged 1 commit into from
Oct 25, 2021

Conversation

fmeum
Copy link
Owner

@fmeum fmeum commented Oct 24, 2021

Replace the "magic" circular dependency resolution with an implicit
output target ".hdrs" on java_library_with_native and use a more
consistent naming scheme for rules.

Along the way, fix the incorrect platform reset behavior for jni.h
when dependend on through java_native_headers (now jni_headers).

@fmeum fmeum force-pushed the redesign-java-native-library branch 5 times, most recently from c51c8e5 to 39c5835 Compare October 24, 2021 16:07
Replace the "magic" circular dependency resolution with an implicit
output target "<name>.hdrs" on java_library_with_native and use a more
consistent naming scheme for rules.

Along the way, fix the incorrect platform reset behavior for jni.h
when dependend on through java_native_headers (now jni_headers).
@fmeum fmeum force-pushed the redesign-java-native-library branch from 39c5835 to ec6eebb Compare October 25, 2021 08:25
@fmeum fmeum changed the title Redesign rules Redesign JNI library rules Oct 25, 2021
@fmeum fmeum marked this pull request as ready for review October 25, 2021 08:47
@fmeum fmeum merged commit 91614bb into main Oct 25, 2021
@fmeum fmeum deleted the redesign-java-native-library branch October 25, 2021 08:48
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

Successfully merging this pull request may close these issues.

1 participant