diff options
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure.ac b/configure.ac index 1a95b19..6efc633 100644 --- a/configure.ac +++ b/configure.ac @@ -446,7 +446,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" ;; @@ -1315,7 +1315,7 @@ AC_SUBST(gmpinc) # Check for PPL ppl_major_version=0 ppl_minor_version=10 -ppllibs= +ppllibs=" -lppl_c -lppl -lgmpxx " pplinc= AC_ARG_WITH(ppl, [ --with-ppl=PATH Specify prefix directory for the installed PPL package |