vfdeps-win

OCaml and OCaml-based VeriFast dependencies on Windows

This repository contains the build script for building OCaml and the OCaml-based packages needed to build VeriFast for Windows.

The binary produced by this repository contains all dependencies.

Name		Name	Last commit message	Last commit date
Latest commit History 33 Commits
.github/workflows		.github/workflows
.gitattributes		.gitattributes
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
build.sh		build.sh
capnpCMakeLists.patch		capnpCMakeLists.patch
capnp_src_kjCMakeLists.patch		capnp_src_kjCMakeLists.patch
download_and_untar		download_and_untar
download_and_unzip		download_and_unzip
mk_util.py.patch		mk_util.py.patch
ocaml-Makefile.patch		ocaml-Makefile.patch
pkg-config_		pkg-config_
setup-build.sh		setup-build.sh

Provide feedback