diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-01-09 16:40:08 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-01-09 16:40:33 +0100 |
commit | 37817bb5ac6bb9fa9a4d67a5604a35424f7b343d (patch) | |
tree | f3ea38d5d0e3a4d5cde5548eb8227e5549159772 /configure.ml | |
parent | c1ad8fa3eadba95691248cd5cd9c2e2efbe6e215 (diff) |
OCaml's -dtypes flag is deprecated and replaced by -annot.
Diffstat (limited to 'configure.ml')
-rw-r--r-- | configure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ml b/configure.ml index d6552687c..f75bbb538 100644 --- a/configure.ml +++ b/configure.ml @@ -381,7 +381,7 @@ let coq_debug_flag = if !Prefs.debug then "-g" else "" let coq_profile_flag = if !Prefs.profile then "-p" else "" let coq_annotate_flag = if !Prefs.annotate - then if program_in_path "ocamlmerlin" then "-bin-annot" else "-dtypes" + then if program_in_path "ocamlmerlin" then "-bin-annot" else "-annot" else "" let cflags = "-Wall -Wno-unused -g -O2" |