Fix build to compile ppl > 0.11.2
authorAndrew Hsieh <andrewhsieh@google.com>
Thu, 20 Dec 2012 08:33:28 +0000 (16:33 +0800)
committerAndrew Hsieh <andrewhsieh@google.com>
Thu, 20 Dec 2012 08:33:28 +0000 (16:33 +0800)
commit53dbbd577342ce544326d976f6be6c51b77c4a0e
treec7a171b85698db5c035d589a1730df8eb9e98f0d
parent7fe9b270f1b1f0feccee11937216be5fabe94950
Fix build to compile ppl > 0.11.2

Provides library path for the new ppl 'configure' which needs
to links libgmp libgmpxx.

Also remove outdated --with-libgmp-prefix

Change-Id: I3be601c523fe1512e878a0aad632b9da2721c1bd
Makefile.in