From 4d8392b761fd32126ac80cb2eb9dcccc27bdea87 Mon Sep 17 00:00:00 2001
From: Richard Kenner <kenner@gcc.gnu.org>
Date: Mon, 9 Jun 1997 19:12:23 -0400
Subject: [PATCH] Add parameter for setting local prefix.

From-SVN: r14200
---
 gcc/configure.in | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/gcc/configure.in b/gcc/configure.in
index e40dbeeaecb..54ce459008f 100644
--- 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.
-- 
2.30.2