+
+if bld.CONFIG_GET('KRB5_VENDOR') in (None, 'heimdal'):
+ if bld.CONFIG_GET("HEIMDAL_KRB5_CONFIG") and bld.CONFIG_GET("USING_SYSTEM_KRB5"):
+ # When both HEIMDAL_KRB5_CONFIG and KRB5_CONFIG are set and not equal,
+ # it means one is Heimdal-specific (krb5-config.heimdal, for example)
+ # and there is system heimdal
+ bld.PROCESS_SEPARATE_RULE('system_heimdal')
+ else:
+ bld.PROCESS_SEPARATE_RULE('embedded_heimdal')
+else:
+ bld.PROCESS_SEPARATE_RULE('system_mitkrb5')
+