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

Pin winpty to a working mingw build #15

Merged
merged 3 commits into from
May 24, 2018

Conversation

ccordoba12
Copy link
Contributor

No description provided.

@conda-forge-linter
Copy link

Hi! This is the friendly automated conda-forge-linting service.

I just wanted to let you know that I linted all conda-recipes in your PR (recipe) and found it was in an excellent condition.

@ccordoba12
Copy link
Contributor Author

@conda-forge-admin, please rerender

@conda-forge-linter
Copy link

Hi! This is the friendly automated conda-forge-webservice.

I rerendered the feedstock and it seems to be already up-to-date.

@ccordoba12 ccordoba12 mentioned this pull request May 24, 2018
@conda-forge-linter
Copy link

Hi! This is the friendly automated conda-forge-linting service.

I just wanted to let you know that I linted all conda-recipes in your PR (recipe) and found it was in an excellent condition.

@ccordoba12
Copy link
Contributor Author

@jakirkham, @ocefpaf, how can we pin a package to a particular build number? We need winpty 0.4.3 build 4, but (for some reason) conda build is pulling winpty 0.4.3 build 2.

@ocefpaf
Copy link
Member

ocefpaf commented May 24, 2018

Looks like a typical bad solution from the coda solver :-/
I guess that 0.4.3 build 2 has less dependencies, has unpinned deps, or pinned to easy to solve deps... Anyway, since they are same version but you want a higher build number I guess that the best thing to do is to move the lower build number to the "broken" label.

@ccordoba12
Copy link
Contributor Author

Thanks @ocefpaf, that's what we needed!

@ccordoba12 ccordoba12 merged commit d3428c4 into conda-forge:master May 24, 2018
@ccordoba12 ccordoba12 deleted the pin-winpty branch May 24, 2018 20:55
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.

3 participants