--- configure.orig 2008-06-18 15:31:28.000000000 -0400
+++ configure 2008-06-18 15:48:16.000000000 -0400
@@ -1456,6 +1456,16 @@
wish_prefix=`dirname $wish_prefix`
fi
+# Check whether --without-tkined was given.
+if test "${with_tkined+set}" = set; then
+ echo "with tkined:${with_tkined}"
+ TARGET="`echo ${TARGET} | sed -e 's/tkined//'`"
+else
+ with_tkined=yes
+fi
+
+if test "${with_tkined}" = yes; then
+
# Check whether --with-tk-config or --without-tk-config was given.
if test "${with_tk_config+set}" = set; then
withval="$with_tk_config"
@@ -1498,6 +1508,7 @@
if test 4 -eq $TK_MAJOR_VERSION -a 1 -gt $TK_MINOR_VERSION; then
{ echo "configure: error: "tk 4.1 or later needed"" 1>&2; exit
1; }
fi
+fi ; # End of tkined stuff
#----------------------------------------------------------------------------
# Check for the existence of various libraries.