SIGN IN SIGN UP

[3.14] gh-130478: fix HACL* build for macOS Silicon (GH-134188) (#135009)

gh-130478: fix HACL* build for macOS Silicon (GH-134188)
(cherry picked from commit ac7511062bf8e16ad489b17990d99abd3b4351f5)

Co-authored-by: Sam Ng <hongsheng@gmail.com>
Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
M
Miss Islington (bot) committed
3b28b402a52d90c47293d20c8a2cef888b700005
Parent: e03db73
Committed by GitHub <noreply@github.com> on 7/11/2025, 4:25:58 PM