T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix allowing an override of LIBGMP_PATHS (#3870)

Browse Source 
This seems to have intended to allow overrides but the specific Makefile
syntax used didn't actually allow overrides, so update that to allow env
vars from the outside world to override the variable (needed locally on
AArch64 I'm building on which has a different path to libgmp)
This commit is contained in:
Alex Crichton
2022-03-02 11:41:59 -06:00
committed by GitHub
parent 15940d071f
commit 8aad99ffae
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
crates/fuzzing/wasm-spec-interpreter/ocaml/Makefile
View File

@@ -13,7 +13,7 @@ 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
LIBGMP_PATHS ?= /usr/lib /usr/lib/x86_64-linux-gnu
PKGS = zarith