STARPU_NMAX_SCHED_CTXS is set at configure time

configure.ac

@@ -158,6 +158,18 @@ if test x$enable_libnuma = xyes; then
 fi
 
 ###############################################################################
+#									      #
+#				SCED_CTX settings			      #
+#									      #
+###############################################################################
+AC_MSG_CHECKING(maximum number of sched_ctxs)
+AC_ARG_ENABLE(max_sched_ctxs, [AS_HELP_STRING([--enable-max-sched-ctxs=<number>],
+			[maximum number of sched_ctxs])],
+			max_sched_ctxs=$enableval, max_sched_ctxs=10)
+AC_MSG_RESULT($max_sched_ctxs)
+AC_DEFINE_UNQUOTED(STARPU_NMAX_SCHED_CTXS, [$max_sched_ctxs], [Maximum number of sched_ctxs supported])
+
+###############################################################################
 #                                                                             #
 #                                 CPUs settings                               #
 #                                                                             #

include/starpu_scheduler.h

@@ -147,7 +147,6 @@ int starpu_push_local_task(int workerid, struct starpu_task *task, int back);
 /* By convention, the default priority level should be 0 so that we can
  * statically allocate tasks with a default priority. */
 #define STARPU_DEFAULT_PRIO	0
-#define STARPU_NMAX_SCHED_CTXS 10
 int starpu_sched_get_min_priority(void);
 int starpu_sched_get_max_priority(void);