tjh.dev / nixpkgs
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
fork atom
nixpkgs / pkgs / development / ocaml-modules / hacl-star / aligned-alloc.patch
at netboot-syslinux-multiplatform 14 lines 637 B view raw
1diff --git a/hacl-star-raw/karamel/include/krml/internal/target.h b/hacl-star-raw/karamel/include/krml/internal/target.h 2index 695873a..c0aed18 100644 3--- a/hacl-star-raw/karamel/include/krml/internal/target.h 4+++ b/hacl-star-raw/karamel/include/krml/internal/target.h 5@@ -82,6 +82,9 @@ 6 # endif 7 # if (defined(_MSC_VER) || (defined(__MINGW32__) && defined(__MINGW64_VERSION_MAJOR))) 8 # define KRML_ALIGNED_MALLOC(X, Y) _aligned_malloc(Y, X) 9+# elif defined(__APPLE__) 10+# include <mm_malloc.h> 11+# define KRML_ALIGNED_MALLOC(X, Y) _mm_malloc(Y, X) 12 # else 13 # define KRML_ALIGNED_MALLOC(X, Y) aligned_alloc(X, Y) 14 # endif