+build_host_tools() {
+ echo "Building host tools in $tools_dir"
+ # Debian packages tcl-dev and tk-dev are required for this build
+ local wd="$PWD"
+ local tcldirs="/usr/lib/tcl /usr/local/lib/tcl"
+ local config_opts=""
+ for d in $tcldirs;do
+ if [ -d "$d" ];then
+ config_opts="$config_opts --with-tcl=${d%lib/tcl}"
+ break
+ fi
+ done
+ if [ -z "$config_opts" ];then
+ for d in /usr/lib/tcl*;do
+ [ -d "$d" ] || continue
+ config_opts="$config_opts --with-tcl-version=${d##*tcl}"
+ done
+ fi
+ if [ -z "$config_opts" ];then
+ echo "No Tcl installation found"
+ exit 1
+ fi
+
+ export TCL_INC_DIR="$(. /usr/lib/tclConfig.sh; echo $TCL_INCLUDE_SPEC | sed 's/^-I//')"
+ mkdir -p "$tools_dir"
+ cd "$tools_dir"
+ sh ../src/configure $config_opts
+ make
+ cd "$wd"
+}
+