scripts/spatch.sh

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