This directory contains the necessary parts for building a library with FFI access to the Wasm spec interpreter. Its major parts:

• spec: the Wasm spec code as a Git submodule (you may need to retrieve it: git clone -b wasmtime_fuzzing https://github.com/conrad-watt/spec).

• interpret.ml: a shim layer for calling the Wasm spec code and exposing it for FFI access

• Makefile: the steps for gluing these pieces together into a static library

Note: the Makefile must be configured with the path to libgmp.a; see LIBGMP_PATHS in the Makefile (Ubuntu: libgmp-dev, Fedora: gmp-static).