summaryrefslogtreecommitdiff
path: root/git-gui/generate-tclindex.sh
blob: 0b031d8339c44398bfa310e9f631bd37afcf6190 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
#!/bin/sh

if test "$#" -lt 3
then
	echo >&2 "usage: $0 <BUILD_DIR> <BUILD_OPTIONS> <LIBFILE> [<LIBFILE>...]"
	exit 1
fi

BUILD_DIR="$1"
BUILD_OPTIONS="$2"
shift 2
LIBFILES="$(echo "$@" | sort | sed 's|lib/||g')"

. "$BUILD_OPTIONS"

cd "$BUILD_DIR"

if {
	echo "source lib/class.tcl;"
	echo "auto_mkindex lib $LIBFILES"
} | "$TCL_PATH"
then
	: ok
else
	 echo >&2 "    * $TCL_PATH failed; using unoptimized loading"
	 rm -f lib/tclIndex
	 echo '# Autogenerated by git-gui Makefile' >lib/tclIndex
	 echo >>lib/tclIndex
	 echo "class.tcl" >>lib/tclIndex
	 printf "%s\n" $LIBFILES >>lib/tclIndex
	 echo >>lib/tclIndex
fi