devtoolsetを提供してるところはいくつかあるんだけど、people.centos.orgのがいちばんcentos用として適切っぽい感じがする。wget http://people.cent…