diff options
| author | Hugo Herbelin | 2017-07-16 21:00:11 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2017-07-21 23:38:53 +0200 |
| commit | 6466868d858c4a9a80e444463009fae869eeb950 (patch) | |
| tree | 0627c44fa14aa1f6fdb849931b52e0d878d25233 /toplevel | |
| parent | c0fdb912c5e63bb43d6e8dd320e9f5613c6237ff (diff) | |
Adding a V8.7 compatibility version number.
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/coqinit.ml | 3 | ||||
| -rw-r--r-- | toplevel/coqtop.ml | 1 |
2 files changed, 3 insertions, 1 deletions
diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml index f61416dde1..326ef54715 100644 --- a/toplevel/coqinit.ml +++ b/toplevel/coqinit.ml @@ -127,7 +127,8 @@ let init_ocaml_path () = List.iter add_subdir Coq_config.all_src_dirs let get_compat_version ?(allow_old = true) = function - | "8.7" -> Flags.Current + | "8.8" -> Flags.Current + | "8.7" -> Flags.V8_7 | "8.6" -> Flags.V8_6 | "8.5" -> Flags.V8_5 | ("8.4" | "8.3" | "8.2" | "8.1" | "8.0") as s -> diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index 08c2350237..d09171bc8f 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -209,6 +209,7 @@ let add_compat_require v = match v with | Flags.V8_5 -> add_require "Coq.Compat.Coq85" | Flags.V8_6 -> add_require "Coq.Compat.Coq86" + | Flags.V8_7 -> add_require "Coq.Compat.Coq87" | Flags.VOld | Flags.Current -> () let compile_list = ref ([] : (bool * string) list) |