+ 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