Skip to content
Documentation out of dateLearn more

Installation

The process to install STELF is intended to be streamlined and easy

If you have issues with the installation, please report them.

  1. Have opam installed, instructions here
  2. In this directory, run opam switch create .
  3. In this directory, run opam install dune
  4. Run dune build @install

TODO