Skip to content

[WIP] Adding a configuration option to specify rustc version #229

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

Closed
wants to merge 1 commit into from

Conversation

spacekookie
Copy link
Member

@spacekookie spacekookie commented Aug 18, 2018

This code is maybe not as elegant as it could be but should hopefully work.

I'm not 100% sure how the crates are built (i.e. how the working directories are
built and scoped) so I hope that rustup is invoked in the correct directory.

If that's not the case, then this can be changed.

Additionally I am aware that this is a work in progress and further changes
are required on docs.rs and the compilers part to make "hot-swapping" versions
easier. See #225 for more details.

This PR addresses #228

This code is maybe not as elegant as it could be but should hopefully work? I'm
not 100% sure how the crates are built (i.e. how the working directories are
built and scoped) so I hope that `rustup` is invoked in the correct directory.

If that's not the case, then this can be changed.

Additionally I am aware that this is a **work in progress** and further changes
are required on docs.rs and the compilers part to make "hot-swapping" versions
easier. See rust-lang#225 for more details. This PR addresses rust-lang#228
@jyn514
Copy link
Member

jyn514 commented Feb 2, 2020

Thank you for your contribution! Unfortunately, this PR was written for the old builder, which we stopped using last September for sandboxing reasons (see https://blog.rust-lang.org/2019/09/18/upcoming-docsrs-changes.html for details). It looks like the PR would have to be rewritten from scratch to work with Rustwide, so I'm closing this. If you would like help porting it, feel free to reply here or on discord and I'd be happy to help you out.

@jyn514 jyn514 closed this Feb 2, 2020
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