Skip to content

Remove tools/setup_helpers/dist_check.py #25879

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

xuhdev
Copy link
Collaborator

@xuhdev xuhdev commented Sep 9, 2019

What dist_check.py does is largely merely determining whether we should
use set "USE_IBVERBS" to ON or OFF when the user sets "USE_GLOO_IBVERBS"
to ON. But this is unnecessary, because this complicated determination
will always be overrided by gloo:

https://github.com/facebookincubator/gloo/blob/2101e02ceabd9f1b0bb354f6ea705cefe83558b2/cmake/Dependencies.cmake#L19-L28

Since dist_check.py becomes irrelevant, this commit also simplifies the
setting of USE_DISTRIBUTED (by removing its explicit setting in Python scripts), and deprecate USE_GLOO_IBVERBS in favor
of USE_IBVERBS.

What dist_check.py does is largely merely determining whether we should
use set "USE_IBVERBS" to ON or OFF when the user sets "USE_GLOO_IBVERBS"
to ON. But this is unnecessary, because this complicated determination
will always be overrided by gloo:

https://github.com/facebookincubator/gloo/blob/2101e02ceabd9f1b0bb354f6ea705cefe83558b2/cmake/Dependencies.cmake#L19-L28

Since dist_check.py becomes irrelevant, this commit also simplifies the
setting of `USE_DISTRIBUTION`, and deprecate `USE_GLOO_IBVERBS` in favor
of `USE_IBVERBS`.
@pytorchbot pytorchbot added the module: build Build system issues label Sep 9, 2019
@xuhdev xuhdev requested review from ezyang and pietern September 9, 2019 23:23
@pietern
Copy link
Contributor

pietern commented Sep 10, 2019

This is great, thank you!

Copy link
Contributor

@facebook-github-bot facebook-github-bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@pietern is landing this pull request. If you are a Facebook employee, you can view this diff on Phabricator.

@facebook-github-bot
Copy link
Contributor

@pietern merged this pull request in 8a026d4.

@xuhdev xuhdev deleted the remove-dist-check branch September 10, 2019 17:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Merged module: build Build system issues
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants