-
Notifications
You must be signed in to change notification settings - Fork 13.3k
Tutorial links to 0.1 release / too many divergent install instructions #2389
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
Comments
Blocked on #2381 |
I am a bit unhappy that the installation process is described in 4 places:
I propose that we settle on one place only. |
The https://github.com/mozilla/rust/wiki/Doc-getting-started page that @Lenny222 links to dates back to before we had releases, so the directions given there are how to build from git, not how to install a release. Now that we have releases, I think it makes sense to distinguish between installation instructions for developers and installation instructions for users. That page should therefore probably be in the "Notes" section of the wiki (for developers) and not the "Doc" section (for users). I'll file a separate bug for that. Aside from that, it's true that there's redundancy between the compilation instructions in the tutorial and those in INSTALL.txt, but I don't think it's a big problem (unless the instructions disagree, of course). |
So, as of this moment, the tutorial has a link to 0.1, which is old, and wget instructions for 0.3, which doesn't yet exist. I've just pushed a patch that changes both to 0.2, and we can update them both to 0.3 as soon as it sees the light of day. |
This is the last issue open for 0.3. (Yay!) How about that URL that always points to the current tarball; is that doable? |
Closed by 57e160b |
This commit fixes an error in setting the $PATH variable in the benchcomp perf regression config file. The script was working by accident because kani-perf.sh uses its own logic to find the Kani directory.
Fix typos in "Libraries and Metadata"
https://doc.rust-lang.org/doc/tutorial.html#installation links to the 0.1 tarball. It should probably point to the current release. On that note, it would be nice if there existed a URL that always pointed to the current release.
The text was updated successfully, but these errors were encountered: