Add configure option to disable StarPU

configure.ac

@@ -48,7 +48,17 @@ AC_SUBST([LIKWID_LIBS])
 AM_CONDITIONAL(HAVE_LIKWID, test x$have_likwid = xyes)
 
 # StarPU
-PKG_CHECK_MODULES([STARPU], [starpumpi-1.3], [have_starpu=yes], [have_starpu=no])
+AC_MSG_CHECKING(whether StarPU should be enabled)
+AC_ARG_ENABLE(starpu, [AS_HELP_STRING([--disable-starpu], [disable StarPU])],
+			enable_starpu=$enableval, enable_starpu=yes)
+AC_MSG_RESULT($enable_starpu)
+if test x$enable_starpu = xyes
+then
+    PKG_CHECK_MODULES([STARPU], [starpumpi-1.3], [have_starpu=yes], [have_starpu=no])
+else
+    have_starpu=no
+fi
+
 AM_CONDITIONAL(HAVE_STARPU, test x$have_starpu = xyes)
 if test x$have_starpu = xyes; then
     save_LIBS="$LIBS"