Skip to content

unix-ffi/machine/timer: Use libc if librt is not present #995

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

Merged
merged 1 commit into from
Apr 10, 2025

Conversation

basvd
Copy link
Contributor

@basvd basvd commented Apr 6, 2025

Newer implementations of libc integrate the functions from librt, for example glibc since 2.17 and uClibc-ng. So if the librt.so cannot be loaded, it can be assumed that libc contains the expected functions.

@basvd basvd force-pushed the fix-machine-timer-ffi-librt branch 5 times, most recently from bca6fbe to d0bd333 Compare April 6, 2025 13:01
Copy link
Member

@dpgeorge dpgeorge left a comment

Choose a reason for hiding this comment

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

Thanks for the contribution. This looks good.

Newer implementations of libc integrate the functions from librt, for
example glibc since 2.17 and uClibc-ng.  So if the librt.so cannot be
loaded, it can be assumed that libc contains the expected functions.

Signed-off-by: Bas van Doren <[email protected]>
@dpgeorge dpgeorge force-pushed the fix-machine-timer-ffi-librt branch from d0bd333 to 42caaf1 Compare April 10, 2025 12:54
@dpgeorge dpgeorge merged commit 42caaf1 into micropython:master Apr 10, 2025
4 checks passed
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.

2 participants