From 0044244fae2149c93a09dabf118f56e95aec2f60 Mon Sep 17 00:00:00 2001 From: Aymeric Fromherz Date: Thu, 3 Feb 2022 11:55:39 +0100 Subject: [PATCH 1/2] Fix wasm lower bound in opam file --- kremlin.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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" From 9ca5a8708eac4f43f51411b7fbd28eb353d9b435 Mon Sep 17 00:00:00 2001 From: Aymeric Fromherz Date: Thu, 3 Feb 2022 11:56:56 +0100 Subject: [PATCH 2/2] Update install instructions with opam packages versions bounds --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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