Add parameter for setting local prefix.

From-SVN: r14200

diff --git a/gcc/configure.in b/gcc/configure.in
index e40dbeeaecb29d289c80510f3e9ce0b550e1ea79..54ce459008fc699efe78723bce1f5dbc0fd2db83 100644 (file)
--- a/gcc/configure.in
+++ b/gcc/configure.in
@@ -23,7 +23,6 @@
 # Initialization and defaults
 AC_INIT(tree.c)
 native_prefix=/usr
-local_prefix=/usr/local
 remove=rm
 hard_link=ln
 symbolic_link='ln -s'
@@ -39,7 +38,7 @@ gnu_ld=no)
 
 # With GNU as
 AC_ARG_WITH(gnu-as,
-[  --with-gnu-s            arrange to work with GNU as.],
+[  --with-gnu-as           arrange to work with GNU as.],
 gas=yes,
 gas=no)
 
@@ -55,6 +54,17 @@ AC_ARG_WITH(elf,
 elf=yes,
 elf=no)
 
+# Specify the local prefix
+AC_ARG_WITH(local-prefix,
+[  --with-local-prefix=DIR specifies directory to put local include.],
+local_prefix=$with_local_prefix,
+local_prefix=/usr/local)
+
+# Default local prefix if it is empty
+if [[ x$local_prefix = x ]]; then
+       local_prefix=/usr/local
+fi
+
 #
 # Shell script to create proper links to machine-dependent files in
 # preparation for compiling gcc.