#! /bin/sh

# Set C compiler to diet libc
CC='diet gcc'
export CC

cat << \__EOF__ > tcl/patchscripts/dietlibc.sh
sed 's@^# *include *<string.h>$@&@;T s;p;s@string.h@strings.h@;:s' generic/tclInt.h > generic/tclInt.h.new && cat generic/tclInt.h.new > generic/tclInt.h
rm -f generic/tclInt.h.new
__EOF__

./build/make-minkit "$@" --disable-load --disable-threads

rm -f tcl/patchscripts/dietlibc.sh

exit 0
