+if [ ! -e Makefile ] && [ ! -e build.ninja ]; then
+ if [ -e build/default/Makefile ] ; then
+ cd build/default
+ else
+ echo "Please configure SimGrid before building it:"
+ echo " ccmake ."
+ exit 1
+ fi
+fi
+
+target=tests
+ncores=$(grep -c processor /proc/cpuinfo)
+
+install_path=$(sed -n 's/^CMAKE_INSTALL_PREFIX:PATH=//p' CMakeCache.txt)
+if [ -e ${install_path} ] && [ -d ${install_path} ] && [ -x ${install_path} ] && [ -w ${install_path} ] ; then
+ target=install
+fi
+
+if [ -e build.ninja ] ; then
+ builder="ninja"
+else
+ builder="make"