On Mon, Feb 4, 2013 at 8:20 AM, Boris Kolpackov <boris at codesynthesis.com> wrote: > > Hi Tru, > > Tru Huynh <tru at centos.org> writes: > > > On Sun, Feb 03, 2013 at 03:25:09PM -0700, Dave Johansen wrote: > > > > > I noticed that the gmp-devel package isn't listed as a dependency of > > > devtoolset-1.1-gcc-plugin-devel even thought it appears that it should > > > be. What do I need to do to help get that fixed? > > > > why would gmp/gmp-devel be required? afaik, those packages are not > > used in the devtools-gcc. > > Because some of the headers in the devtoolset-1.1-gcc-plugin-devel > package include gmp.h. See, for example, double-int.h. > > > > the basic build works for me (CentOS-6 x86_64) > > Probably because you already have gmp-devel installed. What is the next step? Should I open a bug on in RedHat's bugzilla documenting the missing dependency?