#!/bin/sh
# \
LD_LIBRARY_PATH=$XCRYSDEN_TOPDIR/external/lib; export LD_LIBRARY_PATH
# this line restarts tclsh \
exec $XCRYSDEN_TOPDIR/bin/xctclsh $0 "$@"

# return name of the file without the extension
puts [file rootname [file tail [lindex $argv 0]]]
exit 0
