diff options
| author | Richard Kenner <kenner@gcc.gnu.org> | 1997-06-09 19:12:23 -0400 |
|---|---|---|
| committer | Richard Kenner <kenner@gcc.gnu.org> | 1997-06-09 19:12:23 -0400 |
| commit | 4d8392b761fd32126ac80cb2eb9dcccc27bdea87 (patch) | |
| tree | fb156526440cbdfaa655e16c9ccb59f453561708 | |
| parent | a588a9a16db97e04eca620e5fd367f2018d6eb64 (diff) | |
| download | gcc-4d8392b761fd32126ac80cb2eb9dcccc27bdea87.zip gcc-4d8392b761fd32126ac80cb2eb9dcccc27bdea87.tar.gz gcc-4d8392b761fd32126ac80cb2eb9dcccc27bdea87.tar.bz2 | |
Add parameter for setting local prefix.
From-SVN: r14200
| -rw-r--r-- | gcc/configure.in | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/gcc/configure.in b/gcc/configure.in index e40dbee..54ce459 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. |