tmp

Author: bbyalcinkaya

flake.nix

@@ -70,12 +70,13 @@
               kframework = k-framework.packages.${system}.pyk-python310;
               pykwasm = wasm-semantics.packages.${system}.kwasm-pyk;
               # override numpy on Darwin to avoid the missing dynamic library issue
-              numpy = if pkgs.stdenv.isDarwin 
-                then 
-                  prevPython.numpy.override {
-                    blas = null;
-                    lapack = null;
-                  }
+              numpy = if pkgs.stdenv.isDarwin
+                then
+                  prevPython.numpy.overrideAttrs (old: {
+                    buildInputs = (old.buildInputs or []) ++ [ pkgs.Accelerate ];
+                    NPY_BLAS_ORDER = "accelerate";
+                    NPY_LAPACK_ORDER = "accelerate";
+                  })
                 else
                   prevPython.numpy;
             });