Skip to content
Permalink
Browse files

Documented that OCaml 4.08.1 should now work

  • Loading branch information
catalin-hritcu authored and aseemr committed Aug 21, 2019
1 parent 751b801 commit df1345c4a03cc4c6a89bb29c2393fc8145d0ddc4
Showing with 3 additions and 5 deletions.
  1. +3 −5 INSTALL.md
@@ -185,16 +185,14 @@ Some convenience Makefile targets are available:

### Prerequisites: Working OCaml setup ###

The steps require a working OCaml setup. OCaml version 4.04.X, 4.05.X, 4.06.X, or 4.07.X should work. OCaml version 4.08.0 is known **not** to work because you can't yet get packages such as [batteries](https://opam.ocaml.org/packages/batteries/) and [ulex](https://github.com/FStarLang/FStar/issues/1792).
The steps require a working OCaml setup. OCaml version from 4.04.X to 4.08.1 should work.

#### Instructions for Windows ####

1. Please use [Andreas Hauptmann's OCaml Installer for Windows](https://fdopen.github.io/opam-repository-mingw/installation/)
to install both OCaml and OPAM.

2. This installer will currently give you OCaml 4.08.0 by default,
which as explained above does not work with F*.
So switch to a supported OCaml version by running the following commands:

2. If needed switch to a supported OCaml version by running the following commands:
```sh
$ opam switch list-available
$ opam switch create ocaml-variants.4.07.1+mingw64c

0 comments on commit df1345c

Please sign in to comment.
You can’t perform that action at this time.