WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content

Add OpenBSD job #109

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
Merged
phadej merged 2 commits into from
Jan 3, 2026
Merged

Add OpenBSD job #109

phadej merged 2 commits into from
Jan 3, 2026
+51 −3

Conversation

@phadej
Copy link
Collaborator

@phadej phadej commented Aug 18, 2025

No description provided.

@phadej phadej force-pushed the openbsd-ci branch 3 times, most recently from 3e2be1d to 1a7118d Compare August 18, 2025 23:55
@blackgnezdo
Copy link

blackgnezdo commented Sep 3, 2025

Looks like the build is properly reported as broken on OpenBSD:

  cbits-unix/init.c:3:10: error:
       fatal error: 'sys/random.h' file not found
    |
  3 | #include <sys/random.h>
    |          ^
  #include <sys/random.h>

@blackgnezdo
Copy link

blackgnezdo commented Dec 20, 2025

@phadej could you merge #102 and this PR? A release after that would be incredibly helpful in reducing the hackery required.

@phadej
Don't include sys/random.h
71a8e37 
As far as I can trace, Android doesn't need it:
https://android.googlesource.com/platform/bionic/+/7110157e941f0895638c81872b535d8781cf79cf

OpenBSD doesnt have that header. So lets not include it.

Resolves #101
@phadej phadej merged commit 27ea59a into master Jan 3, 2026
25 checks passed
@phadej phadej deleted the openbsd-ci branch January 3, 2026 13:13
@phadej phadej mentioned this pull request Jan 3, 2026
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@phadej @blackgnezdo