Update DEVELOPMENT.md

herbie-fp · Jul 3, 2024 · da5e342 · da5e342
1 parent 33ce2d0
commit da5e342
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/DEVELOPMENT.md b/DEVELOPMENT.md
@@ -1,6 +1,7 @@
 ## Release checklist
 * [ ] Update Herbie server to most recent stable commit on `main`
 * [ ] Clone the Odyssey repo to the server and make sure `node` is installed
+* [ ] Run npm i to install dependencies.
 * [ ] In the Odyssey repo, run `node fptaylor-server.js 8001` where 8001 is the desired port (this could be configured to run as a service with systemd)
 * [ ] In the Odyssey repo, run `node fpbench-server.js 8002` (this could be configured to run as a service with systemd)
 * [ ] Ensure `https://herbie.uwplse.org/fptaylor` points to port 8001 and `https://herbie.uwplse.org/fpbench` points to port 8002