iwilare / lis-2022

Repository for the "Laboratory for Innovative Software" project 2021/2022

Compiling and testing

Dependencies

OCaml https://ocaml.org/docs/install.html

opam install qcheck

From the root of the project:

• Basic build, :

  dune build

• Release build, ignores unused errors:

  dune build --profile release

• Run tests:

  dune test

• Run executable:

  dune exec lis2022

Esy

• Install esy

  npm install -g esy

• Build sandbox and project

  esy

• Run tests in sandbox

  esy test