[bpt/coccinelle.git] / scripts / spatch.sh

#!/bin/sh

COCCINELLE_HOME=${COCCINELLE_HOME:=SHAREDIR}
#echo setting COCCINELLE_HOME=${COCCINELLE_HOME:=SHAREDIR}

if [ ! -r "$COCCINELLE_HOME"/standard.iso ] ; then
    echo "There is no standard.iso in SHAREDIR."
    echo "Are you sure you run a properly installed version of spatch ?\n"
else

 export COCCINELLE_HOME
 export LD_LIBRARY_PATH="$COCCINELLE_HOME:$LD_LIBRARY_PATH"
 export PYTHONPATH="$COCCINELLE_HOME/python:$PYTHONPATH"
 
# echo setting LD_LIBRARY_PATH="$LD_LIBRARY_PATH"
# echo setting PYTHONPATH="$PYTHONPATH"

fi

"$COCCINELLE_HOME"/spatch.opt "$@"
Commit	Line	Data
8ba84ae2	1	#!/bin/sh
0708f913	2
8ba84ae2 C	3	COCCINELLE_HOME=${COCCINELLE_HOME:=SHAREDIR}
8ba84ae2 C	4	#echo setting COCCINELLE_HOME=${COCCINELLE_HOME:=SHAREDIR}
0708f913	5
8ba84ae2	6	if [ ! -r "$COCCINELLE_HOME"/standard.iso ] ; then
0708f913 C	7	echo "There is no standard.iso in SHAREDIR."
	8	echo "Are you sure you run a properly installed version of spatch ?\n"
	9	else
	10
	11	export COCCINELLE_HOME
8ba84ae2 C	12	export LD_LIBRARY_PATH="$COCCINELLE_HOME:$LD_LIBRARY_PATH"
8ba84ae2 C	13	export PYTHONPATH="$COCCINELLE_HOME/python:$PYTHONPATH"
0708f913	14
8ba84ae2 C	15	# echo setting LD_LIBRARY_PATH="$LD_LIBRARY_PATH"
8ba84ae2 C	16	# echo setting PYTHONPATH="$PYTHONPATH"
0708f913 C	17
	18	fi
	19
8ba84ae2	20	"$COCCINELLE_HOME"/spatch.opt "$@"
0708f913	21