env.sh

   1 # I put both stuff useful for the user and developer in this file. Could
   2 # separate and have a env-user.sh, env-compile.sh, env-developer.sh,
   3 # but it's not worth it.
   4
   5 #!!!!You need to source me with "source env.sh" from the good directory!!!!
   6 if [ ! -r standard.iso ]
   7     then echo "There is no standard.iso here.
   8 Are you sure you run this script from the coccinelle directory ?
   9 ";
  10 else
  11
  12
  13 ##############################################################################
  14 # Compile
  15 ##############################################################################
  16
  17 ##############################################################################
  18 # Run
  19 ##############################################################################
  20
  21 # To find the data/ files such as the default standard.h file.
  22 # Cf also globals/config.ml
  23 echo setting COCCINELLE_HOME
  24 export COCCINELLE_HOME=`pwd`
  25
  26 # To find pycaml dynamic library
  27 echo setting LD_LIBRARY_PATH
  28 export LD_LIBRARY_PATH=$COCCINELLE_HOME:$LD_LIBRARY_PATH
  29
  30 # To find .py files like the one in python/coccib
  31 echo setting PYTHONPATH
  32 export PYTHONPATH=$COCCINELLE_HOME/python:$PYTHONPATH
  33
  34 fi