From 032f1a4ba8b5655b4f2396671061613aa8e2cf48 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 25 Oct 2015 15:22:30 +0100
Subject: Fixing bugs in options of the configure.

- usage ill-formed for -native-compiler
- compatibility with the configure of 8.4 (-force-caml-version),
  though e.g. its force-ocaml-version alias is no longer supported
  (but at the same time not documented either, so...)
---
 configure.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/configure.ml b/configure.ml
index 0573cced63..1945167168 100644
--- a/configure.ml
+++ b/configure.ml
@@ -332,11 +332,11 @@ let args_options = Arg.align [
   "-makecmd", Arg.Set_string Prefs.makecmd,
     "<command> Name of GNU Make command";
   "-native-compiler", arg_bool Prefs.nativecompiler,
-    " (yes|no) Compilation to native code for conversion and normalization";
+    "(yes|no) Compilation to native code for conversion and normalization";
   "-coqwebsite", Arg.Set_string Prefs.coqwebsite,
     " URL of the coq website";
-  "-force-caml-version", arg_bool Prefs.force_caml_version,
-    " Force OCaml version";
+  "-force-caml-version", Arg.Set Prefs.force_caml_version,
+    "Force OCaml version";
 ]
 
 let parse_args () =
-- 
cgit v1.2.3