add chiller plugin with doc and an example

[simgrid.git] / tools / jenkins / ci-starpu.sh

diff --git a/tools/jenkins/ci-starpu.sh b/tools/jenkins/ci-starpu.sh
index 22fc426..f435e01 100755 (executable)
--- a/tools/jenkins/ci-starpu.sh
+++ b/tools/jenkins/ci-starpu.sh
@@ -10,7 +10,7 @@ export SUDO=""
 
 echo "XXXXXXXXXXXXXXXX Install APT dependencies"
 $SUDO apt-get update
-$SUDO apt-get -y install build-essential libboost-all-dev wget git
+$SUDO apt-get -y install build-essential libboost-all-dev wget git xsltproc
 
 for i in master 1.3 ; do
   echo "XXXXXXXXXXXXXXXX Build and test StarPU $i"
@@ -22,7 +22,7 @@ for i in master 1.3 ; do
 
   # 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
@@ -33,7 +33,7 @@ for i in master 1.3 ; do
     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