Merge pull request #92 from AbsInt/cleanup

This PR activates more OCaml warnings and turns all warnings into errors. Also some unused functions, variables and types are removed.

1 files changed, 7 insertions, 3 deletions

diff --git a/configure b/configure
index a377f072..9e315065 100755
--- a/configure
+++ b/configure
@@ -284,15 +284,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