2009-07-18 02:01:55 +02:00
|
|
|
#!/usr/bin/env bash
|
2016-01-20 06:09:06 +01:00
|
|
|
#python `dirname $0`/RunToolFromSource.py `basename $0` $*
|
|
|
|
|
2018-12-19 06:28:44 +01:00
|
|
|
# If a ${PYTHON} command is available, use it in preference to python
|
|
|
|
if command -v ${PYTHON} >/dev/null 2>&1; then
|
|
|
|
python_exe=${PYTHON}
|
2016-01-20 06:09:06 +01:00
|
|
|
fi
|
|
|
|
|
|
|
|
full_cmd=${BASH_SOURCE:-$0} # see http://mywiki.wooledge.org/BashFAQ/028 for a discussion of why $0 is not a good choice here
|
|
|
|
dir=$(dirname "$full_cmd")
|
|
|
|
cmd=${full_cmd##*/}
|
|
|
|
|
2018-03-14 10:58:34 +01:00
|
|
|
export PYTHONPATH="$dir/../../Source/Python${PYTHONPATH:+:"$PYTHONPATH"}"
|
2016-12-19 03:52:20 +01:00
|
|
|
exec "${python_exe:-python}" "$dir/../../Source/Python/AutoGen/$cmd.py" "$@"
|