Installation of herdtools7

The herdtools7 suite includes: litmus7 a tool to run tests on hardware, diy7 (proper) a set of test generators, and herd7, a memory model simulator.

Binary installation with opam

Opam users can easily install the complete tool suite as:

  % opam update
  % opam install herdtools7

We strongly recommend installing the OCaml Package Manager opam.

Source installation

The herdtools7 suite is written in the OCaml programming language. Compilation from sources requires a version of OCaml as recent as 4.08.0, the build system dune, the parser generator menhir and the OCaml library zarith.

Again it is highly recommended to have this base software installed with opam.

  % opam install dune menhir zarith

Installation (in $HOME/bin) is then as easy as:

  % make all
  % make install

See also file INSTALL.md from the source distribution.

• Sources of the latest release 7.57.
• Github repository, for those who cannot wait for releases.

Using opam definitely is the recommended option that makes this source installation almost as easy as the binary installation.

Source installation, the hard way

Installing ocaml and all the required sofware from sources is possible, with some expertise and time at hand.

An untested and probbaly more simple alternative would be to first install opam. Notice that installing opam from sources looks possible.

Old releases

• Releases from 7.40 to present are available on github.
• Some even older releases (from 1.0 to 7.39) are available on this site.