rPackages.clarabel: fix build

2025-03-01 23:31:13 +01:00
parent 8a96dbd335
commit faa7eb2262
1 changed files with 6 additions and 0 deletions
@@ -1101,6 +1101,12 @@ let
      ];
    });

+    clarabel = old.clarabel.overrideAttrs (attrs: {
+      postPatch = ''
+        patchShebangs configure
+      '';
+    });
+
    lwgeom = old.lwgeom.overrideAttrs (attrs: {
      configureFlags = [
        "--with-proj-lib=${pkgs.lib.getLib pkgs.proj}/lib"