point

Presentation Of Interactive Normalform Transformations

How to Build

Needs "js_of_ocaml" to build the web interface, as it does "dune" to easily build everything.

Both can be installed using opam:

opam init

opam switch 4.06.0 (technically, any version after 4.06 might work as well, but no guarantees)

opam install js_of_ocaml js_of_ocaml-ppx js_of_ocaml-tyxml dune.

opam itself is available in most Linux distros through the package manager, and there is a port for MacOS, on their webpage, and even an experimental one for Windows, available here.

To build the web interface:

dune build src/point_web.js --profile release

This produces the needed .js file in the _build directory, this must be moved to the same location as the "point.html" file. Or you adapt the <script> tag in the html file, whatever seems easier.

To bulid the command line interface:

dune build src/point_cli.exe --profile release

This produces a .exe file (yes, it always uses the .exe ending for execuables) in the _build directory. Can be run directly in the shell ./point_cli.exe