[CentOS-devel] initial testing version for DevTools 1.1

Dave Johansen

davejohansen at gmail.com
Sun Feb 3 22:25:09 UTC 2013

On Fri, Feb 1, 2013 at 2:40 AM, Karanbir Singh <mail-lists at karan.org> wrote:
> On 01/27/2013 10:41 PM, Tru Huynh wrote:
>> Hi,
>> For the daring users ;)
>> http://people.centos.org/tru/devtools-1.1/
>> enjoy and report
> Thanks for doing these Tru.
> I wonder if someone wants to take a stab at building hiphop with this
> stack (ref: https://github.com/facebook/hiphop-php )

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?

Here's the conversation that identified this as the resolution to the
issue I ran into:

More information about the CentOS-devel mailing list