krb5-1.3.2 build fails with dns disabled

[King Lung Chiu]

Hi,

I'm trying to build krb5-1.3.2 with dns disabled:

 $ ${KRBSRC}/src/configure --disable-dns --without-krb4 --with-system-db \
  --prefix=${KRBLOC} DB_HEADER=/usr/include/db4.1/db_185.h
 $ make

It fails with:

 [... cut]
 /home/guest/builds/krb5-1.3.2/src/lib/krb5/os/locate_kdc.c:516: 
 undefined reference to `krb5int_make_srv_query_realm'
 ../../../lib/libkrb5.a(locate_kdc.o)(.text+0x7d9):/home/guest/builds/krb5
 -1.3.2/src/lib/krb5/os/locate_kdc.c:561: undefined reference to 
 `krb5int_free_srv_dns_data'
 collect2: ld returned 1 exit status
 make[3]: *** [client] Error 1
 make[3]: Leaving directory 
 `/home/guest/builds/krb-build/lib/rpc/unit-test'
 [cut ...]

Functions `krb5int_make_srv_query_realm' and `krb5int_free_srv_dns_data' 
are defined in lib/krb5/os/dnssrv.c, but because I configured with
'--disable-dns' that file is effectively empty (KRB5_DNS_LOOKUP not 
defined). So locate_kdc.c fails to build.

So any ideas how I can build with dns disabled? I'd like to avoid 
modifying the krb source myself if possible, as I'm not familiar with its 
inner workings.

regards,

King Lung Chiu