+
+#########################################
+## Build optional modules (simix)
+##
+
+ { echo "$as_me:$LINENO: result: " >&5
+echo "${ECHO_T}" >&6; }
+ { echo "$as_me:$LINENO: result: ${T_MD}Optional modules${T_ME}" >&5
+echo "${ECHO_T}${T_MD}Optional modules${T_ME}" >&6; }
+
+# Check whether --enable-simix was given.
+if test "${enable_simix+set}" = set; then
+ enableval=$enable_simix; enable_simix=$enableval
+else
+ enable_simix=no
+fi
+
+if test "x$enable_simix" = "xyes" ; then
+ { echo "$as_me:$LINENO: result: \"***** You have decided to use the experimental SimIX. We hope you know what you're doing.. ****\"" >&5
+echo "${ECHO_T}\"***** You have decided to use the experimental SimIX. We hope you know what you're doing.. ****\"" >&6; }
+
+cat >>confdefs.h <<\_ACEOF
+#define USE_SIMIX 1
+_ACEOF
+
+else
+ { echo "$as_me:$LINENO: result: Eventually you will come to SimIX: x$enable_simix" >&5
+echo "${ECHO_T}Eventually you will come to SimIX: x$enable_simix" >&6; }
+fi
+
+
+if test x$enable_simix != xno; then
+ USE_SIMIX_TRUE=
+ USE_SIMIX_FALSE='#'
+else
+ USE_SIMIX_TRUE='#'
+ USE_SIMIX_FALSE=
+fi
+
+