OCaml-based VeriFast dependencies, sans Z3
This repository contains the build script for building OCaml and the OCaml-based packages needed to build VeriFast on Windows, except for Z3. The full set of dependencies, including Z3, are built by vfdeps-win.
The Travis CI build script deploys the produced binary to Bintray.
For the Linux and macOS version, see vfdeps.