re-fix hacl-star

nix-ocaml · Oct 26, 2023 · 4d9951c · 4d9951c
1 parent 01adc19
commit 4d9951c
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/ocaml/default.nix b/ocaml/default.nix
@@ -876,6 +876,12 @@ with oself;
     lib.optionals stdenv.isDarwin [ darwin.apple_sdk.frameworks.Cocoa ];
   });
 
+  hacl-star = osuper.hacl-star.overrideAttrs (_: {
+    postPatch = ''
+      substituteInPlace ./dune --replace "libraries " "libraries ctypes.stubs "
+    '';
+  });
+
   hack_parallel = osuper.hack_parallel.override { sqlite = sqlite-oc; };
 
   h2 = callPackage ./h2 { };