Merge pull request #3658 from W95Psp/nix-enable-more-systems

nix: enable more systems (e.g. MacOS)
FStarLang · Jan 7, 2025 · 0ccfac3 · 0ccfac3
2 parents f84d07b + 0a0cd43
commit 0ccfac3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/flake.nix b/flake.nix
@@ -7,7 +7,7 @@
   };
 
   outputs = { self, flake-utils, nixpkgs }:
-    flake-utils.lib.eachSystem [ "x86_64-linux" ] (system:
+    flake-utils.lib.eachDefaultSystem (system:
       let
         pkgs = import nixpkgs { inherit system; };
         ocamlPackages = pkgs.ocaml-ng.ocamlPackages_4_14;