From: Richard Kenner <kenner@gcc.gnu.org>
Date: Mon, 9 Jun 1997 23:12:23 +0000 (-0400)
Subject: Add parameter for setting local prefix.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4d8392b761fd32126ac80cb2eb9dcccc27bdea87;p=gcc.git

Add parameter for setting local prefix.

From-SVN: r14200
---

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.