Ubuntu 22.04+ and Debian 11+
sudo apt update -y
sudo apt install --no-install-recommends \
git ca-certificates \
build-essential opam unzip default-jdk \
pkg-config m4 zlib1g-dev libgmp-dev bubblewrap -y
Fedora
sudo yum install awk diffutils git gmp-devel opam \
perl-ExtUtils-MakeMaker perl-FindBin perl-Pod-Html zlib-devel -y
Arch Linux
sudo pacman -Syu base-devel git opam
macOS
brew install opam
Note that on Ubuntu 24.04 you must also pass --disable-sandboxing to opam init,
or create an AppArmor profile with userns permissions. This is also required
if you are running in docker without --privileged.
Yes, this is a mess!
opam init --bare
git clone https://github.com/static-analysis-engineering/codehawk.git
cd codehawk/CodeHawk
opam switch create . 5.2.0
eval $(opam env)
opam install --deps-only ./codehawk.opam
dune build @install
The Makefiles in the repository are to help CodeHawk's developers debug circular module dependencies, they are not intended for users.