override numpy on Darwin to fix dynamic library issue on Mac+nix

Author: bbyalcinkaya

flake.nix

@@ -69,6 +69,15 @@
             (finalPython: prevPython: {
               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;
+                  }
+                else
+                  prevPython.numpy;
             });
           groups = [ ];
           checkGroups = [ ];