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

Accept "linux-androideabi" as an alias for Android #6949

Merged
merged 1 commit into from
Jul 9, 2020

Conversation

phadej
Copy link
Collaborator

@phadej phadej commented Jul 9, 2020

rebased #6301 (added a changelog entry).

Google uses `armv7-none-linux-androideabi`, analogous to
`armv7-unknown-linux-gnueabi` for e.g. a 32-bit regular linux.

The existing alias it not a mistake, it is the right one for 64 bit.
Google for that use `aarch64-linux-android`, analogous to
`aarch64-unknown-linux-android` for a 64-bi regular linux.

See https://developer.android.com/ndk/guides/standalone_toolchain for
evidence/details.
@phadej phadej added this to the 3.4.0.0 milestone Jul 9, 2020
@phadej phadej merged commit 9d28c0c into haskell:master Jul 9, 2020
@phadej phadej deleted the pr-6301-android branch July 9, 2020 12:04
@phadej phadej mentioned this pull request Oct 25, 2020
@phadej
Copy link
Collaborator Author

phadej commented Oct 26, 2020

Backported to 3.2 in #7134

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