Configuration options

[Frank Schafer]

Claudio Bley wrote:

> >>>>> "Frank" == Frank Schafer <frank.schafer@setuza.cz> writes:
>
>     Frank> kabir.patel@uk.andersen.com wrote:
>     >> I have a question regarding configuration options specified in
>     >> http://gcc.gnu.org/install/configure.html
>     >>
>     >> In the documentation it states:
>     >>
>     >> --prefix=dirname Specify the toplevel installation
>     >> directory. This is the recommended way to install the tools
>     >> into a directory other than the default. The toplevel
>     >> installation directory defaults to /usr/local.
>     >>
>     >> For this would I specify
>     >>
>     prompt> ./configure prefix="/home/gnu"
>     >>  for example.
>     >>
>     >> It didn't seem to work, but came back with an error message
>     >> like the following:
>     >>
>     >> "Invalid configuration `prefix=/home/gnu': machine
>     >> `prefix=prefix=/home/gnu' not recognized"
>     >>
>     >> Could somebody tell me whats wrong?
>     >>
>     >> Thanks Kabir
>     >>
>
>     Frank> Hi,
>
>     Frank> simply replace the:
>
>     prompt> ./configure prefix="/home/gnu"
>
>     Frank> by:
>
>     prompt> ./configure prefix=/home/gnu
>
> NO. This is not the problem.
>
> To put it clearly this time (Ken?!):
>
> You're missing the double dashes in front of the `--prefix' option.
>
> ../gcc-source/configure --prefix="/home/gnu"
>
> The double quotes are okay because they are removed by the shell
> before the command line arguments are passed to the configure
> script. The last non-option argument is treated as a system type
> specification and 'prefix=/home/gnu' is not a valid system type the
> GCC configure script knows about.
>
> Claudio

Hmm, ...
and You're right.
Faults of this type happen, if one lists in 3 to 4 mailing lists, giving
itself about half a minute for each.

Sorry
Frank