Stream: git-wasmtime

Topic: wasmtime / PR #3870 Fix allowing an override of `LIBGMP_P...


view this post on Zulip Wasmtime GitHub notifications bot (Mar 02 2022 at 16:45):

alexcrichton opened PR #3870 from libgmp-override to main:

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)

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Mar 02 2022 at 17:20):

pchickey submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 02 2022 at 17:42):

alexcrichton merged PR #3870.


Last updated: Dec 23 2024 at 13:07 UTC