scripts/spatch.sh

   1 #!/bin/sh
   2
   3 COCCINELLE_HOME=${COCCINELLE_HOME:=SHAREDIR}
   4 #echo setting COCCINELLE_HOME=${COCCINELLE_HOME:=SHAREDIR}
   5
   6 if [ ! -r "$COCCINELLE_HOME"/standard.iso ] ; then
   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
  12  export LD_LIBRARY_PATH="$COCCINELLE_HOME:$LD_LIBRARY_PATH"
  13  export PYTHONPATH="$COCCINELLE_HOME/python:$PYTHONPATH"
  14
  15 # echo setting LD_LIBRARY_PATH="$LD_LIBRARY_PATH"
  16 # echo setting PYTHONPATH="$PYTHONPATH"
  17
  18 fi
  19
  20 "$COCCINELLE_HOME"/spatch.opt "$@"
  21