-
-#########################################
-## 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." >&5
-echo "${ECHO_T}Eventually you will come to SimIX." >&6; }
-fi
-
-
-if test x$enable_simix != xno; then
- USE_SIMIX_TRUE=
- USE_SIMIX_FALSE='#'
-else
- USE_SIMIX_TRUE='#'
- USE_SIMIX_FALSE=
-fi
-
-