11#! /bin/sh
2- EXEC_PATH=` readlink -f $0 `
3- EXEC_NAME=` basename $EXEC_PATH `
4- EXEC_DIR=` dirname $EXEC_PATH `
2+ EXEC_PATH=$( readlink -f " $0 " )
3+ EXEC_NAME=$( basename " $EXEC_PATH " )
54
65mlibdir=@MST_LIB_DIR@
76# @POST_MST_LIB_DIR@ # Update the lib dir by the post install script.
@@ -10,7 +9,7 @@ mbindir=@MST_BIN_DIR@
109
1110MSTFLINT_EXT_PYTHON_LIB_DIR=$mlibdir /mstflint/python_ext_libs
1211MSTFLINT_PYTHON_TOOLS=$mlibdir /mstflint/python_tools
13- PY_TOOLS_REL_PATHS=$( dirname $0 ) /../lib/mstflint/python_tools:$( dirname $0 ) /../lib64/mstflint/python_tools
12+ PY_TOOLS_REL_PATHS=$( dirname " $0 " ) /../lib/mstflint/python_tools:$( dirname " $0 " ) /../lib64/mstflint/python_tools
1413
1514if test -z " ${PYTHONPATH} " ; then
1615 PYTHONPATH=$MSTFLINT_PYTHON_TOOLS :$PY_TOOLS_REL_PATHS :$MSTFLINT_EXT_PYTHON_LIB_DIR
@@ -22,7 +21,7 @@ export PYTHONPATH
2221export MSTFLINT_LIB_DIR=$mlibdir
2322export LD_LIBRARY_PATH=$mlibdir
2423export MSTFLINT_BIN_DIR=$mbindir
25- PYTHON_EXEC=` find /usr/bin /bin/ /usr/local/bin -iname ' python*' 2>&1 | grep -e=' *python[0-9,.]*' | sort -d | head -n 1`
24+ PYTHON_EXEC=$( find /usr/bin /bin/ /usr/local/bin -iname ' python*' 2>&1 | grep -e=' *python[0-9,.]*' | sort -d | head -n 1)
2625which python3 > /dev/null 2>&1
2726if test $? -eq 0 ; then
2827 PYTHON_EXEC=' /usr/bin/env python3'
3534
3635SCRIPT_PATH=$MSTFLINT_PYTHON_TOOLS /${EXEC_NAME} /${EXEC_NAME} .py
3736
38- if test ! -f $SCRIPT_PATH ; then
39- SCRIPT_PATH=$( find $MSTFLINT_PYTHON_TOOLS $( echo $PY_TOOLS_REL_PATHS | sed " s/:/ /g" ) -name ${EXEC_NAME} .py 2> /dev/null | head -n 1)
37+ if test ! -f " $SCRIPT_PATH " ; then
38+ SCRIPT_PATH=$( find " $MSTFLINT_PYTHON_TOOLS " " $( echo " $PY_TOOLS_REL_PATHS " | sed " s/:/ /g" ) " -name " ${EXEC_NAME} .py" 2> /dev/null | head -n 1)
4039fi
4140
4241if test -z " ${SCRIPT_PATH=} " ; then
0 commit comments