aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure.ml
diff options
context:
space:
mode:
authorGravatar Hugo Herbelin <Hugo.Herbelin@inria.fr>2015-10-25 15:22:30 +0100
committerGravatar Hugo Herbelin <Hugo.Herbelin@inria.fr>2015-10-26 20:05:41 +0100
commit032f1a4ba8b5655b4f2396671061613aa8e2cf48 (patch)
tree77a190f068119f9f4b56b5df8d3ca2f06a6fbc00 /configure.ml
parentee72fb2936a4ff5032aa6b8fba3165cdb6ca448e (diff)
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...)
Diffstat (limited to 'configure.ml')
-rw-r--r--configure.ml6
1 files changed, 3 insertions, 3 deletions
diff --git a/configure.ml b/configure.ml
index 0573cced6..194516716 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 () =