I seen that the configure is done with: --with-krb5=/usr.
make sure that you have krb5-devel installed.
Unfortunately yes:
# rpm -qa | grep krb5 krb5-devel-1.2.7-14 krb5-server-1.2.7-14 krb5-server-1.2.7-10 pam_krb5-1.60-1 krb5-workstation-1.2.7-10 krb5-libs-1.2.7-10 krb5-devel-1.2.7-10 krb5-libs-1.2.7-14 krb5-workstation-1.2.7-14
Regards Gaetano Mendola
---------------------------(end of broadcast)--------------------------- TIP 4: Don't 'kill -9' the postmaster