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

fix discover on Android #45

Merged
merged 2 commits into from Oct 30, 2020
Merged

fix discover on Android #45

merged 2 commits into from Oct 30, 2020

Conversation

EduardoRFS
Copy link
Contributor

Android doesn't require -lrt as it's built into the libc bionic.

With Mirage can be compiled for Android using https://github.com/EduardoRFS/reason-mobile

@dinosaure
Copy link
Member

Interesting, can you add something in Travis CI to ensure to keep the portability on Android?

@EduardoRFS
Copy link
Contributor Author

@dinosaure would you guys accept a github actions workflow instead? I have no experience with travis but I already have a github actions capable of testing this

@hannesm
Copy link
Member

hannesm commented Oct 29, 2020

@EduardoRFS sure, we take any CI that works ;)

@EduardoRFS
Copy link
Contributor Author

EduardoRFS commented Oct 29, 2020

CI Added, here is the results on my repository

https://github.com/EduardoRFS/mirage-clock/runs/1328824074?check_suite_focus=true

@dinosaure dinosaure merged commit 01f7672 into mirage:master Oct 30, 2020
@dinosaure
Copy link
Member

Thanks, did you want a release as soon as we can @EduardoRFS ?

@EduardoRFS
Copy link
Contributor Author

@dinosaure no pressure, I have this patch automatically applied for 3.0.1

dinosaure added a commit to dinosaure/opam-repository that referenced this pull request Nov 19, 2020
…k-unix (3.1.0)

CHANGES:

* Use implicit executable dependency for discover.exe
  into the dune file (mirage/mirage-clock#46 @TheLortex)
* Fix cross-compilation on Android (mirage/mirage-clock#45 @EduardoRFS)
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.

None yet

3 participants