+
+#########################################
+## 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
+
+
+#########################################
+## Build optional modules (gtnets)
+##
+
+# Check whether --with-gtnets was given.
+if test "${with_gtnets+set}" = set; then
+ withval=$with_gtnets; gtnets_path="$withval"
+else
+ gtnets_path="NO"
+fi
+
+if test "x$gtnets_path" = "xNO" ; then
+ { echo "$as_me:$LINENO: result: Eventually you will come to GTNetS. $gtnets_path" >&5
+echo "${ECHO_T}Eventually you will come to GTNetS. $gtnets_path" >&6; }
+else
+ { echo "$as_me:$LINENO: result: ***** You have decided to use the experimental GTNetS. We hope you know what you're doing.. ****" >&5
+echo "${ECHO_T}***** You have decided to use the experimental GTNetS. We hope you know what you're doing.. ****" >&6; }
+
+cat >>confdefs.h <<\_ACEOF
+#define USE_GTNETS 1
+_ACEOF
+
+ if ! test -e $gtnets_path ; then
+ { { echo "$as_me:$LINENO: error: Provided path to GTNetS include files ($gtnets_path) do not exist!" >&5
+echo "$as_me: error: Provided path to GTNetS include files ($gtnets_path) do not exist!" >&2;}
+ { (exit 1); exit 1; }; }
+ fi
+ GTNETS_CFLAGS=-I$gtnets_path/include
+
+ GTNETS_LDFLAGS=-L$gtnets_path/lib
+
+fi
+
+
+if test "x$gtnets_path" != xNO; then
+ USE_GTNETS_TRUE=
+ USE_GTNETS_FALSE='#'
+else
+ USE_GTNETS_TRUE='#'
+ USE_GTNETS_FALSE=
+fi
+
+