1 a95f0ac6 2022-01-17 falsifian To run:
 2 c0755cbe 2022-01-17 falsifian 
 3 a95f0ac6 2022-01-17 falsifian 0. You will need idris2 installed with this change that makes List.length
 4 a95f0ac6 2022-01-17 falsifian    tail-recursive: https://github.com/idris-lang/Idris2/pull/2100
 5 a95f0ac6 2022-01-17 falsifian    As of 2022-01-17, it is not merged.
 6 c0755cbe 2022-01-17 falsifian 
 7 c0755cbe 2022-01-17 falsifian    You'll also need to install the idris2-dom package and its transitive
 8 c0755cbe 2022-01-17 falsifian    dependencies idris2-experimental, idris2-elab-util and idris2-sop.
 9 c0755cbe 2022-01-17 falsifian    Each package is available at https://github.com/stefan-hoeck/$package_name
10 c0755cbe 2022-01-17 falsifian 
11 a95f0ac6 2022-01-17 falsifian 1. Build the precompute executable:
12 a95f0ac6 2022-01-17 falsifian 	idris2 --build s3d_precompute.ipkg
13 c0755cbe 2022-01-17 falsifian 
14 a95f0ac6 2022-01-17 falsifian 2. Generate the S3D.Polyhedra.Precomputed module:
15 a95f0ac6 2022-01-17 falsifian 	build/exec/s3d_precompute > src/S3D/Polyhedra/Precomputed.idr
16 c0755cbe 2022-01-17 falsifian 
17 a95f0ac6 2022-01-17 falsifian 3. Build by running
18 a95f0ac6 2022-01-17 falsifian 	idris2 --cg javascript --build s3d.ipkg
19 c0755cbe 2022-01-17 falsifian 
20 a95f0ac6 2022-01-17 falsifian 4. Open Main.html in a web browser.
21 a95f0ac6 2022-01-17 falsifian 
22 a95f0ac6 2022-01-17 falsifian To run the tests:
23 a95f0ac6 2022-01-17 falsifian 	idris2 --build s3d_test.ipkg
24 a95f0ac6 2022-01-17 falsifian 	build/exec/s3d_test
25 a95f0ac6 2022-01-17 falsifian 
26 a95f0ac6 2022-01-17 falsifian The src directory is shared by all the *.ipkg files.