OCaml bindings for libpoly

This repository provides an ocaml library containing bindings for libpoly (http://sri-csl.github.io/libpoly/).

Building and Installing From Source

Make sure you have gmp.

Using opam (needs 2.0 or higher)

In the directory of this README.md, build and install (in findlib) with the following command:

opam install .

This expects the libpoly library to be present in the relevant paths (e.g. /usr/local/lib), and likewise for its header files (e.g. /usr/local/include). If for some reason they are not in the usual paths, you can specify the paths by setting the environment variables LDFLAGS and C_INCLUDE_PATH, e.g.:

export LDFLAGS="-L[UNCONVENTIONAL_PATH]"
export C_INCLUDE_PATH="[UNCONVENTIONAL_PATH]"

Vendored libpoly

If pkg-config cannot find libpoly (package poly.0 on macOS, poly on Linux), the build will compile libpoly from the vendored submodule under vendor/libpoly and install it into _build/<context>/vendor_install for the build.

To force the vendored build even when a system libpoly is present:

make with-local-libpoly

When the vendored build runs, it installs libpoly into _build/<context>/vendor_install. make install will copy these artifacts into the current opam prefix, and make uninstall will remove them. The vendored build requires cmake and a C++ compiler.

Without opam

Besides libpoly, the bindings need some OCaml dependencies, that are listed in libpoly.opam. These are the findlib libraries that are / would be installed by opam, and that you can still install automatically with

opam install . --deps-only

To build, run the following command:

make

in the directory of this README.md.

To install (in findlib), run the following command:

make install

You can also use make reinstall and make clean.