Peter Eisentraut <peter_e@gmx.net> writes:
> ... Moreover, there does not actually seem to be a
> way to find out whether you have a 32-bit or a 64-bit build (except by
> using OS tools).
I think the basic definition of "32 bit" or "64 bit", certainly for
our purposes, is sizeof(void *). That is something that configure
could easily find out. Or you could look at sizeof(size_t) which
it already does find out.
I have no immediate proposal on how to factor that into the version
string.
regards, tom lane