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.
5 #!!!!You need to source me with "source env.sh" from the good directory!!!!
7 # 14 Aug 2009 Try directory we were executed from
15 if [ ! -r $DIR/standard.iso
]
17 echo "standard.iso not found in '$DIR' trying `dirname $0`"
21 if [ ! -r $DIR/standard.iso
]
22 then echo "standard.iso not found in '$DIR'.
23 Give the coccinelle directory as the first argument.
28 ##############################################################################
30 ##############################################################################
32 ##############################################################################
34 ##############################################################################
36 # To find the data/ files such as the default standard.h file.
37 # Cf also globals/config.ml
38 echo setting COCCINELLE_HOME
=$DIR
39 COCCINELLE_HOME
=$DIR ; export COCCINELLE_HOME
41 # To find pycaml dynamic library
42 echo adding
$COCCINELLE_HOME to LD_LIBRARY_PATH
43 LD_LIBRARY_PATH
=$COCCINELLE_HOME:$LD_LIBRARY_PATH ; export LD_LIBRARY_PATH
45 # To find .py files like the one in python/coccib
46 echo adding
$COCCINELLE_HOME/python to PYTHONPATH
47 PYTHONPATH
=$COCCINELLE_HOME/python
:$PYTHONPATH ; export PYTHONPATH
51 export PATH
=$COCCINELLE_HOME:$PATH