diff --git a/README.md b/README.md index e5a334f1e..2c6b910f6 100644 --- a/README.md +++ b/README.md @@ -44,7 +44,7 @@ make via homebrew, and invoke `gmake` instead of `make`. **Regarding OCaml:** Install OPAM via your package manager, then: -`$ opam install ppx_deriving_yojson zarith pprint menhir sedlex process fix wasm visitors ctypes-foreign ctypes` +`$ opam install ppx_deriving_yojson zarith pprint "menhir>=20161115" sedlex process fix "wasm>=1.1.1" visitors ctypes-foreign ctypes` Next, make sure you have an up-to-date F\*, and that you ran `make` in the `ulib/ml` directory of F\*. The `fstar.exe` executable should be on your PATH diff --git a/kremlin.opam b/kremlin.opam index c7b6c874f..6c6b1d217 100644 --- a/kremlin.opam +++ b/kremlin.opam @@ -18,7 +18,7 @@ depends: [ "process" "fix" "visitors" - "wasm" + "wasm" {>= "1.1.1"} "ppx_deriving" "ppx_deriving_yojson" "fstar"