Making --enable-simix work.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@3172 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/configure b/configure
index bf25e63..3006a9d 100755 (executable)
--- a/configure
+++ b/configure
@@ -25295,9 +25295,9 @@ 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; }
 
   { 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-use-simix was given.
-if test "${enable_use_simix+set}" = set; then
-  enableval=$enable_use_simix; enable_simix=$enableval
+# Check whether --enable-simix was given.
+if test "${enable_simix+set}" = set; then
+  enableval=$enable_simix; enable_simix=$enableval

 else
   enable_simix=no
 fi
 else
   enable_simix=no
 fi

diff --git a/configure.ac b/configure.ac
index ce13b52..d42647f 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -176,7 +176,7 @@ fi
 ## Build optional modules (simix)
 ##
 SG_CONFIGURE_PART(Optional modules)
 ## Build optional modules (simix)
 ##
 SG_CONFIGURE_PART(Optional modules)

-AC_ARG_ENABLE(use-simix,
+AC_ARG_ENABLE(simix,

   AS_HELP_STRING([--enable-simix], [Use the new SimIX module (default=no)]),
   enable_simix=$enableval,enable_simix=no)
 if test "x$enable_simix" = "xyes" ; then
   AS_HELP_STRING([--enable-simix], [Use the new SimIX module (default=no)]),
   enable_simix=$enableval,enable_simix=no)
 if test "x$enable_simix" = "xyes" ; then