>>>>> "Alexandre" == Alexandre Oliva <[EMAIL PROTECTED]> writes:
Alexandre> On Apr 21, 2000, Akim Demaille <[EMAIL PROTECTED]> wrote:
>> Arg. I'm even more lost :) Up to now the logic was that the host
>> was the default for target and build, now you seem to mean that the
>> build should be the default for the host?
Alexandre> I think that's the only sane approach, because the build
Alexandre> platform is the only thing we can actually guess. And
Alexandre> then, if you specify a host, it should affect the default
Alexandre> for target, but not for build.
Agreed. So the relationships are `target' defaults to `host' and
`host' defaults to `build', right?
I think we should really clean up this chain, I find it very hard to
follow. In particular, this nonopt stuff is very unclear to me.
There is not even a warning if nonopt is given together with --host,
but there are warnings when there are two nonopts.
The documentation does not seem to make a big difference (or I don't
catch it):
| If the user gives @code{configure} a non-option argument, it is used as
| the default for the host, target, and build system types if the user
| does not specify them explicitly with options. The target and build
| types default to the host type if it is given and they are not.
The code says
# Do some error checking and defaulting for the host and target type.
# The inputs are:
# configure --host=HOST --target=TARGET --build=BUILD NONOPT
#
# The rules are:
# 1. You are not allowed to specify --host, --target, and nonopt at the
# same time.
# 2. Host defaults to nonopt.
# 3. If nonopt is not specified, then host defaults to the current host,
# as determined by config.guess.
# 4. Target and build default to nonopt.
# 5. If nonopt is not specified, then target and build default to host.
So how about moving to (this is a merge of my understanding of Mo's
proposal, and the removal of nonopt):
# Do some error checking and defaulting for the host and target type.
# The inputs are:
# configure --host=HOST --target=TARGET --build=BUILD HOST
#
# The rules are:
# 1. You are not allowed to specify --host, and HOST at the same time.
# 2. Build defaults to the current host, as determined by config.guess.
# 3. Host defaults build
# 4. Target defaults to host.
Is this right?
(1. should be moved into option processing).
