1 files changed, 18 insertions, 0 deletions
diff --git a/crypto/krb5/BUILD b/crypto/krb5/BUILD
new file mode 100755
index 0000000000..14d12068f3
--- /dev/null
+++ b/crypto/krb5/BUILD
@@ -0,0 +1,18 @@
+if [ "$KRB4" == "y" ]; then
+    OPTS="$OPTS --with-krb4"
+else
+    OPTS="$OPTS --without-krb4"
+fi
+
+cd  $SPELL-$VERSION/src                 &&
+
+./configure  --enable-dns-for-kdc       \
+             --enable-dns-for-realm     \
+             --infodir=/usr/share/info  \
+             --mandir=/usr/share/man    \
+             --enable-shared            \
+             --prefix=/usr              \
+             --localstatedir=/var       \
+             $OPTS                      &&
+make_single                             &&
+make