Install OPAM, then:
% opam install herdtools7
Then, to get the newest version:
% opam update
% opam upgrade
Tools will be installed in PREFIX/bin, and various files in PREFIX/share/herdtools7.
By default (see Makefile) PREFIX is $HOME.
You can change PREFIX by editing the Makefile, or by running make ... as make PREFIX=yourprefix ....
- OCaml (version >= 4.05.0)
- dune
- menhir (version >= 20180530)
We strongly recommend to have this base software installed through the opam package manager.
% opam install dune menhir
Notice: Compilation with ocamlbuild is possible, by setting D=ocb in Makefile.
% make all
% make install