Merge pull request #227 from FStarLang/afromher_opam

Update build instructions to reflect lower bounds on some packages
FStarLang · Feb 3, 2022 · 7e02ba7 · 7e02ba7
2 parents 532ec27 + 9ca5a87
commit 7e02ba7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -18,7 +18,7 @@ depends: [
   "process"
   "fix"
   "visitors"
-  "wasm"
+  "wasm" {>= "1.1.1"}
   "ppx_deriving"
   "ppx_deriving_yojson"
   "fstar"