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? Thanks, Dave Here's the conversation that identified this as the resolution to the issue I ran into: http://www.codesynthesis.com/pipermail/odb-users/2013-February/001026.html