HCoop / bpt / coccinelle.git / blame
| Commit | Line | Data |
|---|---|---|
| 34e49164 C |
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 |