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

Support alternate toolchains #5

Closed
allevato opened this issue Jun 6, 2018 · 2 comments
Closed

Support alternate toolchains #5

allevato opened this issue Jun 6, 2018 · 2 comments
Labels
P3 Would be nice, but probably next quarter at the earliest type: feature request New feature or request

Comments

@allevato
Copy link
Member

allevato commented Jun 6, 2018

Once we migrate to the proper toolchains API (#3), we should have a way to let the user easily build using a different toolchain than the default for their platform. For example, using a development snapshot or a toolchain locally built from source.

@allevato allevato added type: feature request New feature or request P3 Would be nice, but probably next quarter at the earliest labels Jun 6, 2018
@keith
Copy link
Member

keith commented Aug 12, 2019

@allevato
Copy link
Member Author

And you were the one who committed it! 😄

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
P3 Would be nice, but probably next quarter at the earliest type: feature request New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants