Willy-Bas Loos <willybas(at)gmail(dot)com> writes:> BTW, is there a way to find out what particular configure options were used> for any given (binary) installation?
Run pg_config.
regards, tom lane