patch #8333

config/Makefile.config.in

@@ -87,6 +87,7 @@ RPMBUILD=@RPMBUILD@
 
 CONFIGURE_ARGUMENTS=@CONFIGURE_ARGUMENTS@
 CONFIGURE_RUN=@CONFIGURE_RUN@
+DEVFLAGS=@DEVFLAGS@
 
 prefix=@prefix@
 

config/configure.in

@@ -339,8 +339,10 @@ FORCE_OCAML=no
 FORCE_MINGW=no
 PROFILE=no
 DEBUG=no
+DEV=no
 GUI=no
 CHECKBOUNDS=false
+DEVFLAGS=
 
 # **********                                                                                  **********
 # **********                Network and Feature configure switches and dependency             **********
@@ -429,9 +431,15 @@ AC_ARG_ENABLE(profile,
 AC_ARG_ENABLE(debug,
   AS_HELP_STRING([--enable-debug], [compile with debugging information]),
   [DEBUG="$enableval"])
+AC_ARG_ENABLE(dev,
+  AS_HELP_STRING([--enable-dev], [development mode (enables debug and annot information)]),
+  [DEV="$enableval"])
 if test "$PROFILE" = "yes"; then
   DEBUG="yes"
 fi
+if test "$DEV" = "yes"; then
+  DEBUG="yes"
+fi
 AC_ARG_ENABLE(gui,
   AS_HELP_STRING([--disable-gui], [disable GUI build (default)]),
   [GUI="$enableval"])
@@ -776,6 +784,13 @@ if test "$DEBUG" = "yes"; then
     OCAMLOPT="$OCAMLOPT -g"
 fi
 
+if test "$DEV" = "yes"; then
+  case "$OCAMLVERSION" in
+    3.*) DEVFLAGS="-annot" ;;
+    *) DEVFLAGS="-annot -bin-annot" ;;
+  esac
+fi
+
 echo ""
 echo "----------------------------------"
 echo "     Checking system headers."
@@ -1577,6 +1592,7 @@ AC_SUBST(CC_VERSION)
 AC_SUBST(CXX_VERSION)
 AC_SUBST(CONFIGURE_ARGUMENTS)
 AC_SUBST(CONFIGURE_RUN)
+AC_SUBST(DEVFLAGS)
 
 AUTOCONF=../src/utils/lib/autoconf.ml
 GTK_AUTOCONF=../src/utils/lib/gAutoconf.ml

distrib/ChangeLog

@@ -15,6 +15,7 @@ ChangeLog
 =========
 
 2014/02/23:
+8333: Config: New configure option --enable-dev (ygrek)
 8332: New option "all" for command verify_chunks (ygrek)
 8331: printf2: add ?exn parameter for easy exception printing (ygrek)
 8330: printexc2: reduce complexity, drop unused code (ygrek)