PR middle-end/38584

[pf3gnuchains/gcc-fork.git] / configure

diff --git a/configure b/configure
index 403982c..f26e2ba 100755 (executable)
--- a/configure
+++ b/configure
@@ -4809,7 +4809,7 @@ fi
 # Check for PPL
 ppl_major_version=0
 ppl_minor_version=10
-ppllibs=
+ppllibs=" -lppl_c -lppl -lgmpxx "
 pplinc=