Choose for which OS you want Colibri2


# 1. Install opam (OCaml package manager)
sudo apt install opam # or dnf, pacman, etc.


# 2. Install Colibri2's dependencies
opam install depext
opam depext colibri2

# 4. Install Colibri2 itself opam install colibri2
# 1. Install Homebrew

# 2. Install required dependencies for Colibri2
brew install opam gmp gtk+

# 3. Configure GTK library
export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig:/usr/local/opt/libxml2/lib/pkgconfig:/usr/local/lib/pkgconfig




# 4. Finally install colibri2
opam install colibri2
# 1. Prepare opam installation
sudo apt update
sudo apt upgrade
sudo apt install make m4 gcc opam

# 2. opam setup
opam init --disable-sandboxing --shell-setup
eval $(opam env)
opam install -y depext




# 4. Install Colibri2
opam depext --install -y colibri2

Downloads