+# Check whether --enable-kerberos or --disable-kerberos was given.
+if test "${enable_kerberos+set}" = set; then
+ enableval="$enable_kerberos"
+ if test "$enableval" = "yes"
+then
+ OPTDEFS="-DKERBEROS"
+else
+ OPTDEFS=""
+fi
+
+else
+ OPTDEFS=""
+echo "Not compiling kerberos extensions by default"
+
+fi
+
+
+