Commit Diff


commit - a95f0ac66a2e664a9a10cf0344f1e845340dfcb5
commit + c0755cbe06aff65c774556816aa4ea6569314615
blob - 1074d6df84092d77c3a70417fc29a24690743f57
blob + 144305a73ecff95ca41fe46259e92788f4894f30
--- README
+++ README
@@ -1,13 +1,22 @@
 To run:
+
 0. You will need idris2 installed with this change that makes List.length
    tail-recursive: https://github.com/idris-lang/Idris2/pull/2100
    As of 2022-01-17, it is not merged.
+
+   You'll also need to install the idris2-dom package and its transitive
+   dependencies idris2-experimental, idris2-elab-util and idris2-sop.
+   Each package is available at https://github.com/stefan-hoeck/$package_name
+
 1. Build the precompute executable:
 	idris2 --build s3d_precompute.ipkg
+
 2. Generate the S3D.Polyhedra.Precomputed module:
 	build/exec/s3d_precompute > src/S3D/Polyhedra/Precomputed.idr
+
 3. Build by running
 	idris2 --cg javascript --build s3d.ipkg
+
 4. Open Main.html in a web browser.
 
 To run the tests: