+# Copyright (c) 2017-2021 The SimGrid Team. Licence: LGPL of WDFPL, as you want.
+
+if [ ! -e Makefile ] ; 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