-
-
Notifications
You must be signed in to change notification settings - Fork 32.9k
Closed
Labels
3.14bugs and security fixesbugs and security fixesOS-macbuildThe build process and cross-buildThe build process and cross-buildtype-bugAn unexpected behavior, bug, or errorAn unexpected behavior, bug, or error
Description
Bug report
Bug description:
The recent HACL* change in Python 3.14.0a2 cause local build breakage on macOS below Catalina due to lack of support for aligned_alloc
(also memset_s
on older macOS <10.9).
Fixes for the affected dependency have already been submitted to the repositories:
- Use _mm_malloc() for KRML_ALIGNED_MALLOC on macOS <10.15 FStarLang/karamel#504
- Lib_Memzero0.c: don't use memset_s() on macOS <10.9 hacl-star/hacl-star#1012
CPython versions tested on:
3.14
Operating systems tested on:
macOS
Linked PRs
Metadata
Metadata
Assignees
Labels
3.14bugs and security fixesbugs and security fixesOS-macbuildThe build process and cross-buildThe build process and cross-buildtype-bugAn unexpected behavior, bug, or errorAn unexpected behavior, bug, or error