From 3540cc8d16870c2a39f4254152e9be1cb2214473 Mon Sep 17 00:00:00 2001
From: Ulrik Strid <ulrik.strid@outlook.com>
Date: Wed, 20 Apr 2022 09:13:06 +0200
Subject: [PATCH] ocamlPackages.hacl-star-raw: fix aarch64-darwin

---
 pkgs/development/ocaml-modules/hacl-star/raw.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pkgs/development/ocaml-modules/hacl-star/raw.nix b/pkgs/development/ocaml-modules/hacl-star/raw.nix
index 58fa1eb00212..07e4d99344f7 100644
--- a/pkgs/development/ocaml-modules/hacl-star/raw.nix
+++ b/pkgs/development/ocaml-modules/hacl-star/raw.nix
@@ -14,6 +14,9 @@ stdenv.mkDerivation rec {
 
   minimalOCamlVersion = "4.08";
 
+  # strictoverflow is disabled because it breaks aarch64-darwin
+  hardeningDisable = [ "strictoverflow" ];
+
   postPatch = ''
     patchShebangs ./
   '';