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