Upgrade ocaml version needed and enable more warnings.

Since the menhir version we use requires ocaml>4.02 we can also
upgrade the required ocaml version to >4.02 and remove the
deprecate String functions.
Also we now activate all warnings except for 4,9 und 27 for regular
code plus a bunch of warnings for the generated code. 4 and 9 are
not really usefull and 27 is deactivated since until the usage
string is printed in a way that requires no newline.
Bug 18394.

1 files changed, 9 insertions, 5 deletions

diff --git a/configure b/configure
index 3b4099c7..d03fd15e 100755
--- a/configure
+++ b/configure
@@ -283,15 +283,19 @@ esac
 echo "Testing OCaml... " | tr -d '\n'
 ocaml_ver=`ocamlopt -version 2>/dev/null`
 case "$ocaml_ver" in
-  4.*)
+  4.00.*|4.01.*)
+        echo "version $ocaml_ver -- UNSUPPORTED"
+        echo "Error: CompCert requires OCaml version 4.02 or later."
+        missingtools=true;;
+  4.0*)
         echo "version $ocaml_ver -- good!";;
   ?.*)
         echo "version $ocaml_ver -- UNSUPPORTED"
-        echo "Error: CompCert requires OCaml version 4.00 or later."
+        echo "Error: CompCert requires OCaml version 4.02 or later."
         missingtools=true;;
   *)
         echo "NOT FOUND"
-        echo "Error: make sure OCaml version 4.00 or later is installed."
+        echo "Error: make sure OCaml version 4.02 or later is installed."
         missingtools=true;;
 esac
 
@@ -334,7 +338,7 @@ for mk in make gmake gnumake; do
         break;;
   esac
 done
-if test -z "$make"; then 
+if test -z "$make"; then
   echo "NOT FOUND"
   echo "Error: make sure GNU Make version 3.80 or later is installed."
   missingtools=true
@@ -391,7 +395,7 @@ cat >> Makefile.config <<'EOF'
 ARCH=
 
 # Hardware variant
-# MODEL=ppc32     # for plain PowerPC 
+# MODEL=ppc32     # for plain PowerPC
 # MODEL=ppc64     # for PowerPC with 64-bit instructions
 # MODEL=e5500     # for Freescale e5500 PowerPC variant
 # MODEL=armv6     # for ARM