From 8aad99ffaefa0d96a2b5d4817678f81a46f1adb9 Mon Sep 17 00:00:00 2001 From: Alex Crichton Date: Wed, 2 Mar 2022 11:41:59 -0600 Subject: [PATCH] Fix allowing an override of `LIBGMP_PATHS` (#3870) 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) --- crates/fuzzing/wasm-spec-interpreter/ocaml/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/fuzzing/wasm-spec-interpreter/ocaml/Makefile b/crates/fuzzing/wasm-spec-interpreter/ocaml/Makefile index 4f4ac7bbdd..b2edbe476b 100644 --- a/crates/fuzzing/wasm-spec-interpreter/ocaml/Makefile +++ b/crates/fuzzing/wasm-spec-interpreter/ocaml/Makefile @@ -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