1 files changed, 5 insertions, 2 deletions
diff --git a/flake.nix b/flake.nix
index 180b480..3c32dcc 100644
--- a/flake.nix
+++ b/flake.nix
@@ -10,10 +10,13 @@
   };
   outputs = { self, nixpkgs, flake-utils }: flake-utils.lib.eachDefaultSystem (system:
     let
-      pkgs = import nixpkgs { inherit system; };
+      pkgs = import nixpkgs {
+        inherit system;
+        config.allowUnsupportedSystem = true; # for macOS
+      };
       lean-shell = pkgs.mkShell {
         name = "Lean";
-        packages = [ pkgs.lean4 ];
+        packages = [ pkgs.lean4 pkgs.wayland pkgs.pkg-config ];
       };
     in {
     devShells = {