+ if test "$OPTIMIZED" -eq 1 ; then
+ config_options="$config_options --enable-optimized"
+ else
+ config_options="$config_options --disable-optimized"
+ fi
+ if test "$DEBUG" -eq 1 ; then
+ config_options="$config_options --enable-debug"
+ else
+ config_options="$config_options --disable-debug"
+ fi
+ if test "$ASSERTIONS" -eq 1 ; then
+ config_options="$config_options --enable-assertions"
+ else
+ config_options="$config_options --disable-assertions"
+ fi
+ if test "$CHECKING" -eq 1 ; then
+ config_options="$config_options --enable-expensive-checks"
+ else
+ config_options="$config_options --disable-expensive-checks"
+ fi
+ if test "$DOXYGEN" -eq 1 ; then
+ config_options="$config_options --enable-doxygen"
+ else
+ config_options="$config_options --disable-doxygen"
+ fi
+ if test "$THREADS" -eq 1 ; then
+ config_options="$config_options --enable-threads"
+ else
+ config_options="$config_options --disable-threads"
+ fi
+ config_options="$config_options $OPTIONS_DASH $OPTIONS_DASH_DASH"
+ src_dir=`pwd`
+ cd "$build_dir"
+ msg 0 Configuring $module with:
+ msg 0 " $src_dir/configure" $config_options
+ $src_dir/configure $config_options || \
+ die $? "Configuring $module module failed"
+else
+ msg 0 Module $module already configured, ignoring configure options.
+ cd "$build_dir"