buildtools/scripts/simgrid_build.conf

   1 # This is the configuration file for every scripts around.
   2 # Don't mess with it, unless you know what you are doing
   3
   4 # Where to find the svn checkout
   5 SIMGRID_SVN_ROOT=~/simgrid-svn
   6
   7 # Root of build directories and so on
   8 SIMGRID_BASEDIR=~/simgrid
   9
  10 ############ Do not change anything below, unless your first name is Martin or Pierre ##############
  11 source ${SIMGRID_SVN_ROOT}/buildtools/scripts/simgrid_build.functions