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

Installation documentation could use info on mingw #2871

Closed
catamorphism opened this issue Jul 11, 2012 · 3 comments
Closed

Installation documentation could use info on mingw #2871

catamorphism opened this issue Jul 11, 2012 · 3 comments
Labels
O-windows Operating system: Windows

Comments

@catamorphism
Copy link
Contributor

bstrie reports that for Windows users, the mingw situation is not easy to understand: "the mingw site refers me to a sourceforge page which tells me to first download the meta-installer on a different sourceforge page which offers two different installers which are not elaborated upon and upon choosing either installer you are given the option of multiple versions of that installer".

Given the apparent lack of independent docs, we should document how to install mingw if it's a prereq for installing Rust on Windows.

@bstrie
Copy link
Contributor

bstrie commented Jul 12, 2012

For the record, Rust requires GCC 4.5 to compile on Windows. I'm not sure which version of MinGW comes with this; the most recent version (and the only one that is easily installed) uses 4.7. Still trying to figure out if there's any nice way to make everything work short of inferring which versions of each file belong together and manually dragging DLLs around.

@brson
Copy link
Contributor

brson commented Sep 25, 2012

I did some tutorial updates over the weekend, and put in more caveats about building on windows, and more asides urging people to read the 'getting started' wiki page, but the situation is still not good.

@brson
Copy link
Contributor

brson commented Jul 29, 2013

Various people have tweaked the windows docs in the last year. The tutorial emphatically directs people to the getting started page, which has some detailed information about windows. I don't know if that info is sufficient but enough has changed about the doc situation that I'm going to call this resolved.

@brson brson closed this as completed Jul 29, 2013
RalfJung pushed a commit to RalfJung/rust that referenced this issue May 11, 2023
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
This update introduces several `stable_mir` APIs to `Kani`. Previously,
we relied on internal APIs to accomplish our goals. However, with the
recent enhancements to `stable_mir`, we no longer need these internal
APIs. This pull request hopefully marks the beginning of a migration
towards `stable_mir` for `Kani`.

Co-authored-by: Celina G. Val <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
O-windows Operating system: Windows
Projects
None yet
Development

No branches or pull requests

3 participants