+##
+## Support for tracing instrumentation
+##
+AC_CONFIG_HEADERS([include/instr/config.h])
+AC_ARG_ENABLE(tracing,
+ AS_HELP_STRING([--enable-tracing],[Activate the instrumentation so SimGrid can be traced to be visualized]),
+ [tracing=$enableval],
+ [tracing=no])
+if test x$tracing = xyes ; then
+ AC_DEFINE([HAVE_TRACING],[1], [defines whether instrumentation must be compiled or not])
+fi
+