Commit 093fcd16 authored by Weijia Wang's avatar Weijia Wang
Browse files

ocamlPackages.hacl-star-raw: use _mm_malloc on darwin

parent 360ab51e

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

0 → 100644
+14 −0
Original line number Diff line number Diff line 
diff --git a/hacl-star-raw/karamel/include/krml/internal/target.h b/hacl-star-raw/karamel/include/krml/internal/target.h

index 695873a..c0aed18 100644

--- a/hacl-star-raw/karamel/include/krml/internal/target.h

+++ b/hacl-star-raw/karamel/include/krml/internal/target.h

@@ -82,6 +82,9 @@

 #  endif

 #  if (defined(_MSC_VER) || (defined(__MINGW32__) && defined(__MINGW64_VERSION_MAJOR)))

 #    define KRML_ALIGNED_MALLOC(X, Y) _aligned_malloc(Y, X)

+#  elif defined(__APPLE__)

+#    include <mm_malloc.h>

+#    define KRML_ALIGNED_MALLOC(X, Y) _mm_malloc(Y, X)

 #  else

 #    define KRML_ALIGNED_MALLOC(X, Y) aligned_alloc(X, Y)

 #  endif

pkgs/development/ocaml-modules/hacl-star/raw.nix

+4 −0
Original line number Diff line number Diff line
@@ -20,6 +20,10 @@ stdenv.mkDerivation rec { 
    stripRoot = false;

  };



  patches = [

    ./aligned-alloc.patch

  ];



  minimalOCamlVersion = "4.08";



  # strictoverflow is disabled because it breaks aarch64-darwin