Software Setup Instructions

Required

Install opam, the OCaml package manager.

Compile herdtools from sources.

% opam install dune menhir zarith
% git clone https://github.com/herd/herdtools7.git
% cd herdtools7
% make all install

The tools are installed in the sub-directory bin/ of your home directory. Thus, if ${HOME}/bin is not part of your path, add it as follows:

% PATH=${HOME}/bin:${PATH}

Optional, but chic

Our tools produce images in the dot format, which can be displayed by additional software. If not already present on your system, install the graphviz image tools and the gv PostScript viewer. On most linux systems:

% sudo apt install graphviz gv

On MacOS, one can install graphviz by using brew or MacPorts package systems.

One can follow the tutorial whithout the optional sofware, but it would be a pity to be deprived of the images.

This document was translated from L^AT_EX by H^EV^EA.