98ef18a22a
* Revert "Remove spec interpreter fuzz target temporarily (#3399)"
This reverts commit 25d3fa4d7b.
* add support for differential fuzzing against verified OCaml interpreter
* formatting
* comments
* fix missing dep case
* fix build error
* fix unit tests?
* restore previous differential_v8 max_table config
* attempt: add OCaml deps
* fix interpeter github repo
* fix spec repo url
* fix zarith package
* fix unit test
39 lines
1.4 KiB
Makefile
39 lines
1.4 KiB
Makefile
# Build a library allowing FFI access to the Wasm spec interpreter.
|
|
|
|
OCAML_FLAGS := -g -keep-locs -runtime-variant _pic
|
|
# By default, we build in a sub-directory but we can override this with `make
|
|
# BUILD_DIR=...`.
|
|
BUILD_DIR := _build
|
|
# Currently the WebAssembly spec interpreter is buried in a Git submodule as is
|
|
# its build directory, `_build`. Cargo may not like that files are changing
|
|
# outside of `target` (TODO).
|
|
SPEC_DIR := spec/interpreter
|
|
SPEC_BUILD_DIR := $(SPEC_DIR)/_build
|
|
SPEC_LIB := $(SPEC_BUILD_DIR)/wasm.cmxa
|
|
|
|
# A space-separated list of paths that the linker will use to search for libgmp.
|
|
# Override with `make LIBGMP_PATHS=...`.
|
|
LIBGMP_PATHS := /usr/lib /usr/lib/x86_64-linux-gnu
|
|
|
|
PKGS = zarith
|
|
|
|
# Build and package the static library, `libinterpret.a`.
|
|
$(BUILD_DIR)/libinterpret.a: $(BUILD_DIR)/interpret.lib.o
|
|
ar qs $@ $^
|
|
$(BUILD_DIR)/interpret.lib.o: $(SPEC_LIB) $(BUILD_DIR)/interpret.cmx
|
|
ocamlfind ocamlopt $(OCAML_FLAGS) -I $(SPEC_BUILD_DIR) -o $@ -output-complete-obj $^ -linkpkg $(PKGS:%=-package %) -cclib "$(LIBGMP_PATHS:%=-L%)"
|
|
$(BUILD_DIR)/interpret.cmx: interpret.ml $(SPEC_BUILD_DIR) $(BUILD_DIR)
|
|
ocamlfind ocamlopt $(OCAML_FLAGS) -I $(SPEC_BUILD_DIR) -o $@ -c -impl $< -linkpkg $(PKGS:%=-package %)
|
|
$(BUILD_DIR):
|
|
mkdir -p $@
|
|
|
|
|
|
# We also need to be able to build the spec's `wasm.cmxa`.
|
|
$(SPEC_LIB):
|
|
make -C $(SPEC_DIR) libopt
|
|
|
|
|
|
clean:
|
|
rm -rf $(BUILD_DIR)
|
|
make -C $(SPEC_DIR) clean
|