diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-06-21 23:20:22 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-06-21 23:20:22 +0200 |
| commit | df35025b2be4a0dc9aadecc0e3110a21012683cf (patch) | |
| tree | 651edf043619488ad054b4601bae50d9a337adc7 | |
| parent | 860b56472ae5ef7312a0a61a250f0a510c1e16b8 (diff) | |
| parent | ec741e8bb1bdf69f0be4bb6b594560af57f8811c (diff) | |
Merge PR #7774: [build] Fix checks and notes noting 4.02.1 instead of 4.02.3
| -rw-r--r-- | INSTALL.ide | 2 | ||||
| -rw-r--r-- | configure.ml | 4 | ||||
| -rw-r--r-- | dev/doc/profiling.txt | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/INSTALL.ide b/INSTALL.ide index 26c192baa..c4da84048 100644 --- a/INSTALL.ide +++ b/INSTALL.ide @@ -22,7 +22,7 @@ Else, read the rest of this document to compile your own CoqIde. COMPILATION REQUIREMENTS -- OCaml >= 4.02.1 with native threads support. +- OCaml >= 4.02.3 with native threads support. - make world must succeed. - The graphical toolkit GTK+ 2.x. See http://www.gtk.org. The official supported version is at least 2.24.x. diff --git a/configure.ml b/configure.ml index 9d959b9af..b5d5a2419 100644 --- a/configure.ml +++ b/configure.ml @@ -601,14 +601,14 @@ let caml_version_nums = "Is it installed properly?") let check_caml_version () = - if caml_version_nums >= [4;2;1] then + if caml_version_nums >= [4;2;3] then cprintf "You have OCaml %s. Good!" caml_version else let () = cprintf "Your version of OCaml is %s." caml_version in if !prefs.force_caml_version then warn "Your version of OCaml is outdated." else - die "You need OCaml 4.02.1 or later." + die "You need OCaml 4.02.3 or later." let _ = check_caml_version () diff --git a/dev/doc/profiling.txt b/dev/doc/profiling.txt index 9d2ebf0d4..b5dd8445d 100644 --- a/dev/doc/profiling.txt +++ b/dev/doc/profiling.txt @@ -7,7 +7,7 @@ want to profile time or memory consumption. AFAIK, this only works for Linux. In Coq source folder: -opam switch 4.02.1+fp +opam switch 4.02.3+fp ./configure -local -debug make perf record -g bin/coqtop -compile file.v |