- install OCaml 64-bit from https://fdopen.github.io/opam-repository-mingw/
- install depext (
opam install depext depext-cygwinports
) - install libgmp (
opam depext conf-gmp.1
) - install dependencies (
opam install menhir zarith ocamlgraph ppx_tools cppo num
) - source environment variables:
eval $(ocaml-env cygwin)
- install pip:
wget https://bootstrap.pypa.io/get-pip.py ; python get-pip.py
git clone https://github.com/airbus-seclab/bincat.git
cd bincat
eval $(ocaml-env cygwin)
make windist PYTHON=python