Configuration options

Claudio Bley bley@cs.uni-magdeburg.de
Fri Nov 16 07:40:00 GMT 2001


>>>>> "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



More information about the Gcc-help mailing list