1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index 8bf9f0597..f26e2ba5c 100755
--- a/configure
+++ b/configure
@@ -2210,7 +2210,7 @@ case "${target}" in
   *-*-chorusos)
     noconfigdirs="$noconfigdirs target-newlib target-libgloss ${libgcj}"
     ;;
-  powerpc-*-darwin* | x86_64-*-darwin9*)
+  powerpc-*-darwin* | x86_64-*-darwin[912]*)
     noconfigdirs="$noconfigdirs ld gas gdb gprof"
     noconfigdirs="$noconfigdirs sim target-rda"
     ;;
@@ -4809,7 +4809,7 @@ fi
 # Check for PPL
 ppl_major_version=0
 ppl_minor_version=10
-ppllibs=
+ppllibs=" -lppl_c -lppl -lgmpxx "
 pplinc=