pkgs/development/ocaml-modules/hacl-star/aligned-alloc.patch

   1 diff --git a/hacl-star-raw/karamel/include/krml/internal/target.h b/hacl-star-raw/karamel/include/krml/internal/target.h
   2 index 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