Partial autoconf transition thoughts

[DJ Delorie]

> Compare this with binaries and libraries in the target's format,
> that we currently install in $exec_prefix/$target_alias, even though
> they aren't host-specific in any way, and therefore they could
> legitimately be installed in $prefix/$target_alias.  The fact that
> they were build on a certain host should be irrelevant.

Is AR format the same for all hosts, when crossed to a given target?