"Andrew Dunstan" <andrew@dunslane.net> writes:
> Instead of doing that, do:
> --with-includes=/usr/include/et
This same workaround is in the RPMs. I wonder if it would be worthwhile
for configure to assume the above when --with-krb5 is mentioned. I
don't know how widespread this particular file layout is ...
regards, tom lane