# NOTE: Do *not* introduce parameters to "make it work" here.
# Things should "just work" with default parameters!
- # Users should not have to tinker to get starpu working on top of simgrid, that is precisely why we have this CI
+ # Users should not have to tinker to get starpu working on top of SimGrid, that is precisely why we have this CI
if [ $i = master ]; then
# On master, fail if we use deprecated functions, so that StarPU people know they have to stop using them, fix it, and thus make CI happy again
CXXFLAGS=""
fi
if ! ./configure CFLAGS="$CFLAGS" CXXFLAGS="$CXXFLAGS" \
- --enable-simgrid --disable-shared --enable-mpi-check --disable-cuda \
+ --enable-simgrid --disable-shared --enable-mpi --enable-mpi-check --disable-cuda \
--disable-build-doc --enable-quick-check
then
cat ./config.log