[CentOS-devel] initial testing version for DevTools 1.1

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?