Basically, the ppl configure script wasn't properly setting 
CFLAGS/CXXFLAGS/LDFLAGS to point at the ctng-built gmp, so ppl tried to 
use the system gmp headers instead.

This patch fixes that.

Ideally ct-ng would have the option of just using the local system's gmp 
package, but this patch allows ct-ng to build toolchains on Fedora 19, 
for example.

The patch is against ct-ng 0.16.0, but it is still relevant for 0.18.0.

 - Solomon
-- 
Solomon Peachy        		       pizza at shaftnet dot org	 
Delray Beach, FL                          ^^ (email/xmpp) ^^
Quidquid latine dictum sit, altum viditur.