diff options
author | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-06-19 22:53:01 -0400 |
---|---|---|
committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-07-11 16:42:21 +0200 |
commit | b8fef57225333c1f7fe685c6c483da731951939a (patch) | |
tree | 9ea2905f1a91a800314c722a5004f358d83acdf7 /INSTALL | |
parent | bd0a681350b1bc8947d6d7603dc6a9759f0c7897 (diff) |
[ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0
- We update the OCaml version used in the base CI image.
- Windows / OSX image building is also updated to use newer OCaml.
- We also update Dune to 1.0.0.
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -29,8 +29,9 @@ WHAT DO YOU NEED ? To compile Coq yourself, you need: - - OCaml version 4.02.3 or later + - OCaml (version >= 4.02.3) (available at https://ocaml.org/) + (This version of Coq has been tested up to OCaml 4.07.0) - The Num package, which used to be part of the OCaml standard library, if you are using an OCaml version >= 4.06.0 @@ -68,7 +69,7 @@ WHAT DO YOU NEED ? profit from Flambda, a special build of the OCaml compiler that has the Flambda optimizer enabled must be installed. For OPAM users, this amounts to installing a compiler switch ending in `+flambda`, - such as `4.06.1+flambda`. For other users, YMMV. Once `ocamlopt + such as `4.07.0+flambda`. For other users, YMMV. Once `ocamlopt -config` reports that Flambda is available, some further optimization options can be used; see the entry about -flambda-opts below for more details. |