Merge branch 'main' into develop

juliojgd · Aug 28, 2022 · d1ca0ce · d1ca0ce
2 parents b0d580e + 6fdcb66
commit d1ca0ce
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/src/BUILD.md b/src/BUILD.md
@@ -24,7 +24,21 @@ eval `opam config env`
 
 
 ## Steps with Esy
+- Install nvm
+- Install npm and node via nvm
+```sh
+$ node -v
+v16.17.0
+```
+
+```sh
+$ npm --version
+8.15.0
+```
+
 - Install Esy following: https://esy.sh/docs/en/getting-started.html
+- npm install -g esy
+- `esy --version` should output `0.6.12-dev`
 - type `cd src` 
 - Type `esy install`
 - Type `esy build`